Moved uint128 implementation out of main.c.