@dice-roller/rpg-dice-roller / EncodedNumber
Type Alias: EncodedNumber
EncodedNumber =
number| {$number:NonFiniteNumber; }
Defined in: src/serialization/formats.ts:57
A number in exported data: a finite number as it is, otherwise a tag, e.g. { "$number": "Infinity" }, so it survives JSON (which would turn it into null).