Compact doubles again

Incorporate latest version of grisu.net which fixes some cases where the double representation was larger than necessary, e.g. "7.2e3" instead of "7200"