float(true ? f64 : div)
