binary32 constants from their exact values. Each is the binary32 nearest
the value, computed by these functions with unbounded naturals -- the
executable's naturals are 64-bit words and these exact values are not --
so a plan takes a constant as `(compile-time (derivation))`: the compiler
evaluates it and hands the program the word. pi and ln 2 are bounded to
40 places, enough that both ends of their interval round alike.
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.