\FRACTIONALPART{1.256}{\sol}
\sol

\FRACTIONALPART{-1.256}{\sol}
\sol
