One more decimal point of precision for Position_values_format.