locale-dependent decimal point for better string conversion