The main problem with the naive solution is not the overflow, but the undefined behavior caused by it in C.

If overflows are allowed, like in Rust, you could implement this by representing X and y with two ints each and doing mini big integer arithmetic on them.