i64 <= f64
