Fix isValidNatural: The BigNat in NatJ# must have at least 2 limbs