traffloat_types::ratio_def