Data.Number.FixedPrec

Type-level integers for precision

class Precision e

data P0

data P1

data P10

data P100

data P1000

data P2000

data PPlus1 e

data PPlus3 e

data PPlus10 e

data PPlus100 e

data PPlus1000 e

Fixed-precision numbers

data FixedPrec e

getprec

Static and dynamic casts

cast

upcast

downcast

with_added_digits

Other operations

fractional

solve_quadratic

log_double