constf :: Const -> RoundMode -> Precision -> Rounded
constf f r p = Rounded s' e' l' where
    (# s', e', l' #) = f (mode# r) (prec# p)

constf :: Const -> RoundMode -> Precision -> Rounded
constf f r p = Rounded s' e' l' where
    (# s', e', l' #) = f (mode# r) (prec# p)

constf f r p = Rounded s' e' l' where
    (# s', e', l' #) = f (mode# r) (prec# p)
