TxNonCanonicalInteger
