changed integerFieldElement -> IntegerRingElement