Module Core__Core_time_float.Ofday