\MULTIPLY{1.256}{3.214}{\sol}
$1.256\times3.214=\sol$