correct typo
add arbitrary_uint128 function for ipv6