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