rounding :: Rounding -> Precision -> Rounded -> Rounded
rounding f p (Rounded s e l) = Rounded s' e' l' where
    (# s', e', l' #) = f (prec# p) s e l

rounding :: Rounding -> Precision -> Rounded -> Rounded
rounding f p (Rounded s e l) = Rounded s' e' l' where
    (# s', e', l' #) = f (prec# p) s e l

rounding f p (Rounded s e l) = Rounded s' e' l' where
    (# s', e', l' #) = f (prec# p) s e l
