> Regardless of the locale reported by "locale" in the terminal, are you sure that the decimal separator is not set to a coma in System Preferences>Language & Region>Advanced Settings? Oh yes... good catch! - Julien