def qnan
import bend-collections-laws-math@1.0.0.0/spec/math/f64.bend as F64import Base
import bend-collections-laws-math@1.0.0.0/src/math/f64.bend as F
113# encode(False, 2047, 2^51), encode(s, 2047, 0) and encode(s, 0, 0)
114def qnan() -> F.F64:
115 F.Bits{0, 2146959360}
Uses (1)
Used by (34)
- bend-collections-laws-math@1.0.0.0/spec/math/f64:to_integral
- bend-collections-laws-math@1.0.0.0/spec/math/f64:add
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64addv:spec_g
- bend-collections-laws-math@1.0.0.0/spec/math/f64:mul
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64divc:dspec
- …