Namespace providing type-safe operations for the PositiveInt branded type.
The PositiveInt type represents a positive integer. Division (div) uses
floor division.
Unlike SafeInt, PositiveInt allows values outside the safe integer range
(±2^53 − 1), so very large magnitudes may lose precision in JavaScript's
number type.
Namespace providing type-safe operations for the
PositiveIntbranded type.The
PositiveInttype represents a positive integer. Division (div) uses floor division.Unlike
SafeInt,PositiveIntallows values outside the safe integer range (±2^53 − 1), so very large magnitudes may lose precision in JavaScript'snumbertype.