printf(1): Fix the printing of floats which I broke back in 2007.