Re: GADT printer patch

[Stephen Dolan <stephen.dolan@xxxxxxxxxxxx>]

> We rarely need to render anything other than very limited precision floats,
> and it's information that is only *required* in the Gc interface from the
> standard library (unfortunately).

It is a little strange that those use floats. They should be int64,
but this would be a breaking change.