Quick fix for float formatting

Don't strip off the sole '0' before the decimal unless there's no room
for it. This is just a quick fix pending a proper rewrite of the float
formatting logic.