I'm wondering whether it would make sense to cache the hashCode in BigInt, too ...