Symbol: uint128_is_zero