Integers and decimals?

[joakim]

Suggestion

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

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

The div operator can provide integer division.

a: 15  -- inferred as #int
b: 4   -- inferred as #int

a / b
--> #number 3.75

15 / 3
--> #number 5

a div b
--> #int 3

The mod and rem operators provide the modulo (floored) and remainder (truncated) of a division, respectively.

-5 mod 3  --> #int 1
-5 rem 3  --> #int -2

Testing for an #int could be (in ECMAScript) typeof x === 'number' && x % 1 === 0, and converting to an #int would be simply Number.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 it could be implemented as a tuple of (@ratio, numerator, denominator).

Possible numeric types

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