\FLOOR{1.256}{\sol}
The integer part of $1.256$ is $\sol$.
