You may have to internally use bignums since collatz orbits can become very large before shrinking.

That's a good point. I wonder how difficult comptime bignum would be in comptime. Seems like there's no proven bounds I could find either