Serialization fixes for uint128