type(ok ? i32 : f64)
