Numeric Literal Type ↔ fixed set of specific values for number as Type

let dice: 1 | 2 | 3 | 4 | 5 | 6;

All numbers (except bigint) are of FP64 integers

References