In PHP I found out that when a decimal is printed to screen (or: when it's casted to string), the decimal seperator will also converted to a comma. But why is that? I haven't found any documentation about this, and I don't think casting to string takes internationalization settings into account.In PHP I found out that when a decimal is print