Frege 等价于 Haskell 的 Fractional 是什么?

What is Frege equivalent to Haskell's Fractional?

此定义在 ghci:

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

frege-repl 中尝试,我得到了:

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

"Hoogling" Fractional 什么也没给我。

Fractional 的 Frege 类比似乎是 Real,它提供了两种操作:

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