Data.Number.Fixed
data Fixed e
class Epsilon e
data Eps1
data EpsDiv10 p
data Prec10
data Prec50
data PrecPlus20 e
convertFixed
dynamicEps
precision