[Python-Dev] Changing the default value of stat_float_times