F32.to_nat: def of Base
Import: import Base
Lines 1923-1928 of Base/base.bend: https://jend.leeeet.dev/read.txt?path=Base/base.bend&start_line=1923&end_line=1928

import Base

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

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.is_ge
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.is_lt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.to_nat.wide
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat