-i32 <= f64 + i
