cosmetics: Add '0' to float constants ending in '.'.