dec Number.Add : [<a: number> (a) a] a
Module Number
dec Number.Div : [<a: number> (a) a] a
Divides two numbers. Dividing Nats or Ints rounds down, consistently with
Int.Mod, and dividing them by zero gives zero.
dec Number.Mul : [<a: number> (a) a] a
dec Number.Neg : [<a: signed> a] a
dec Number.Sub : [<a: signed> (a) a] a
dec Number.Zero : [type a: number] a