i32 <= f64 * i
