Definition
type RoundingAlgorythm = RoundDown
| RoundUp
| RoundTowardsZero
| RoundAwayFromZero
| HalfUp
| HalfDown
| HalfTowardsZero
| HalfAwayFromZero
| HalfToEven
| HalfToOdd
Rounding Algorythm
Helpers
getRounder : RoundingAlgorythm -> Numeric.Nat.Nat -> Basics.Int -> Basics.Int
Returns rounding function matched by RoundongAlgorythm