int(true ? f64 : 1)
