Better printing of floating point coefficients

[blegat]

This shows pretty badly at the moment. See for instance: https://jump.dev/SumOfSquares.jl/v0.6.3/generated/Getting%20started/sos_decomposition/#A-deeper-explanation-and-the-unexplained-1e-4-parameter