i64 <= f32 && ok
