Algebra.RealRing

class C a

roundSimple

fastSplitFraction

fixSplitFraction

fixFraction

splitFractionInt

floorInt

ceilingInt

roundInt

roundSimpleInt

approxRational

generic implementation of round functions

powersOfTwo

pairsOfPowersOfTwo

genericFloor

genericCeiling

genericTruncate

genericRound

genericFraction

genericSplitFraction

genericPosFloor

genericPosCeiling

genericHalfPosFloorDigits

genericPosRound

genericPosFraction

genericPosSplitFraction

decisionPosFraction

decisionPosFractionSqrTime