Rudimentary support for printf("%f")
Also test strtod()