high property

BigInt high
getter/setter pair

Implementation

BigInt high;