i32 / f64 * i32
