Update docs to reflect current state of uint128 handling