def field

bend-lawful-stdlib@0.1.0.0 · src/float/sf32.bend:100

import Base
import bend-lawful-stdlib@0.1.0.0/src/float/bin.bend as Bin

100def field(+t: Nat, normal: Bool) -> Bin.Bin:
101  match normal:
102    case True{}:
103      Bin.of_nat(Nat.sub(t, 150n))
104    case False{}:
105      Bin.BZ{}