Replace custom implementation of 128-bit integers by C23 __BitInt

Apparently, there are ABI incompatibilities between `_BitInt(128)` and `__int128`.

[Also, `_BitInt` is not supported on some targets.](https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117580)