def is_nan
import bend-collections-laws-math@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)))
Uses (7)
Used by (16)
- bend-collections-laws-math@1.0.0.0/src/math/f64:unordered
- bend-collections-laws-math@1.0.0.0/src/math/f64:fmax_nx
- bend-collections-laws-math@1.0.0.0/src/math/f64:fmin_nx
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64cmp:eq_value
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64cmp:le_value
- …