ok ? foo : i64 ^ f32
