Fix serialize_uint*