data BigFloat e

class Epsilon e

data Eps1

data EpsDiv10 p

data Prec10

data Prec50

data PrecPlus20 e