Data.Number.IReal.Generators
data Dig
data Frac
m
z
p
ftail
frac
nfrac
pfrac
expand
genIReal
uniformNum
uniformIval
exprGen
isCauchy
propIsRealNum
propIsRealIval
forAllI