Suggestion

Add an#int subtype of#number, something along the lines ofthis solution, with a#dec subtype to complement it.

Question: Should/ division of two#int numbers always result in a#number?

Thediv operator can provide integer division.

a:15-- inferred as #intb:4-- inferred as #inta/b--> #number 3.7515/3--> #number 5adivb--> #int 3

Themod andrem operators provide the modulo (floored) and remainder (truncated) of a division, respectively.

-5mod3--> #int 1-5rem3--> #int -2

Testing for an#int could be (in ECMAScript)typeof x === 'number' && x % 1 === 0, and converting to an#int would be simplyNumber.parseInt(x).

Arbitrary precision

#bigint should of course also be supported, as well as (eventually)#bigdec and (hopefully)#ratio.

Division of two#bigint numbers could result in a#ratio.#ratio must be a value type, so as a hack itcould be implemented as a tuple of(@ratio, numerator, denominator).

Possible numeric types

• #number
  • #int
  • #dec
• #bigint
• #bigdec
• #ratio