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.