f32 > i64 ? ok : greet
