Drop trailing zeros and decimal point from rendered Floats and Doubles

Measures such as 12.00000pt are invalid in some places in a LaTeX document, for example as the parameter of documentclass. This patch removes trailing zeros from rendered Floats and Doubles. If the result has a trailing decimal point that too is removed. I am not aware of any situation where a trailing decimal point followed by zeros is required.