i64 * i == i32
