Returns whether or not this element is strictly lexicographically larger than its negation.
@override bool lexicographicallyLargest() { final halfP = (p - BigInt.one) >> 1; return v > halfP; }