correct a bug (found by jedy) when suppresing leading zeros from floats like 01.01