i64 * 1 == i32
