i64 <= f32 ^ i32
