docs: def value(self, x):
          """
          converts an integer or FinitField.Value to a value of this FiniteField.
          """
          return x if isinstance(x, FiniteField.Value) and x.field == self else FiniteField.Value(self, x)