The source project of this merge request has been removed.
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.