What is Frege equivalent to Haskell's Fractional?

Question

This definition is valid in ghci :

recip :: Fractional a ⇒ a → a
recip n = 1 / n

Trying it in frege-repl I got:

E <console>.fr:6: can't resolve `Fractional`, did you mean `Exceptional`
    perhaps?

"Hoogling" Fractional gives me nothing.

Answer 1

The Frege analog of Fractional appears to be Real , which offers two operations:

(/) ∷ Real r ⇒ r → r → r
fromDouble ∷ Real r ⇒ Double → r