def F32.to_nat

Base · base.bend:1923

import Base

1923def F32.to_nat(a: F32) -> Nat:
1924  match a:
1925    case F32{+x}:
1926      +wide = Bool.and(F32.is_ge(F32{x}, 4294967296.0),
1927        F32.is_lt(F32{x}, 281474976710656.0))
1928      F32.to_nat.wide(F32{x}, wide)

Uses (6)

Used by (3)