Re: GADT printer patch

[Daniel BÃnzli <daniel.buenzli@xxxxxxxxxxxx>]

Depends on why you need your "%f" but if that may be of some interest Gg has a 
(slow) lossless float pretty printer that doesn't use "%f":

https://github.com/dbuenzli/gg/blob/master/src/gg.ml#L186

The actual string representation is documented here:

http://erratique.ch/software/gg/doc/Gg.Float.html#printers

But it's not really for human consumption. 

Best,

Daniel