Ensure we get a decimal point when floats are formatted in casts etc. Previously the float formatting in casts and in sprintf("%O",...) were susceptible to locale settings and could therefore use something else than a '.' as decimal separator. sprintf("%f",...) etc are still locale sensitive. Rev: src/Makefile.in:1.482 Rev: src/operators.c:1.258 Rev: src/pike_float.c:1.1 Rev: src/pike_float.h:1.9 Rev: src/svalue.c:1.260