In generator, only generate single-precision-representable "real" literals.
In generator, only generate single-precision-representable "real" literals.

This makes sure they're print/parse round-trippable even when printed in low
precision, which is the current default. Discussed in #28.

google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang