Use uint128_to_number instead of stringifying