63def float32ExactSmallNatural = (lambda unrestricted n : Nat .
64 (let unrestricted e = (float32SmallNaturalExponent n) in
65 (naturalSelect (naturalIsZero n) 0
66 (naturalAdd (naturalMultiply (naturalAdd e 127) 8388608)
67 (naturalSaturatingSubtract (naturalMultiply n (naturalPowerOfTwo (naturalSaturatingSubtract 23 e))) 8388608)))))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.