Symbol: uint128