AERN2.MP.Precision
data Precision
prec
class HasPrecision t
class CanSetPrecision t
lowerPrecisionIfAbove
raisePrecisionIfBelow
specCanSetPrecision
defaultPrecision
maximumPrecision
standardPrecisions
precisionTimes2
iterateUntilOK
class ConvertibleWithPrecision t1 t2
convertP
convertPFirst
convertPSecond