fraction field nonzero: byte 2 low seven bits, byte 1, byte 0
105def stdF32FractionNonzero =
106 (lambda unrestricted value : (family InferenceFloat32) .
107 (eliminate
108 InferenceFloat32
109 (lambda unrestricted current : (family InferenceFloat32) . Nat)
110 value
111 (branch
112 InferenceFloat32Bits
113 b0
114 b1
115 b2
116 b3
117 .
118 (stdFlagOr
119 (stdFlagNot (byte-equal (byteAnd b2 (byte 127)) (byte 0)))
120 (stdFlagOr (stdFlagNot (byte-equal b1 (byte 0))) (stdFlagNot (byte-equal b0 (byte 0))))))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.