float(false ? div : i32)
