🚀 go-pugleaf

In response to O'Keefe's assertion that the letter of IEEE 754 requires that
decimal-to-binary conversion must always be done at run-time because the
rounding mode may be different at run-time than compile-time, Jim Kingdon
writes a tricky defense of compile-time conversion, but overlooked a key word
in IEEE 754 that permits a much simpler defense:

	... the procedures used for binary <-> decimal conversion should give
	the same results regardless of whether the conversion is performed
	during language translation ... or during program execution ...
	(section 5.6 of IEEE 754)

The key word is "should".  That means it's optional, or as IEEE 754 defines it,

	strongly recommended as being in keeping with the intent of the
	standard, although architectural or other constraints beyond the scope
	of this standard may on occasion render the recommendations
	impractical.  (section 2)

Surely this is such an occasion.