\DIVIDE{1.256}{3.214}{\sol} $1.256/3.214=\sol$