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