Correct a bug (found by jedy) when replacing leading zeros in float numbers like 01.01

Thank you to consider this bug fix.