def is_subnormal
import bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend as F64import Base
1007def is_subnormal(+x: F64) -> Bool:
1008 Bool.and(Nat.is_eq(exp_field(x), 0n), nz(frac(x)))
import bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend as F64import Base
1007def is_subnormal(+x: F64) -> Bool:
1008 Bool.and(Nat.is_eq(exp_field(x), 0n), nz(frac(x)))