def over
import bend-lawful-stdlib@0.1.0.0/src/float/format.bend as Formatimport Base
import bend-lawful-stdlib@0.1.0.0/src/float/bin.bend as Bin
69def over(+top: Nat, neg: Bool, +m: Bin.Bin, +e: Nat) -> Val:
70 over.go(neg, m, e, Bin.is_zero(m), Nat.is_gt(Nat.add(e, Bin.len(m)), top))