pub const SPECIAL_DIGIT_SEPARATOR: u128 = _; // 17_592_186_044_416u128
Any digit separators are allowed in special (non-finite) values.