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