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