1 * i64 == i32
