C/C++/Java/Ocaml: Print doubles with maximal precision #283
Description
The C backend etc. produce a printer that truncates the fractional digits to 5, the default behavior of %g. Change this to %.15g to get the 15 guaranteed significant digits of double precision floats.