NatValue: bigint