binary_ :: Binary_ -> RoundMode -> Precision -> Rounded -> Rounded -> (Rounded, Int)
binary_ f r p (Rounded s e l) (Rounded s' e' l') = (Rounded s'' e'' l'', I# t) where
    (# s'', e'', l'', t #) = f (mode# r) (prec# p) s e l s' e' l'

binary_ :: Binary_ -> RoundMode -> Precision -> Rounded -> Rounded -> (Rounded, Int)
binary_ f r p (Rounded s e l) (Rounded s' e' l') = (Rounded s'' e'' l'', I# t) where
    (# s'', e'', l'', t #) = f (mode# r) (prec# p) s e l s' e' l'

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