@Test
public void testOut() {

  BigIntegerFieldDefinition fd500 = new BigIntegerFieldDefinition(
      ModulusFinder.findSuitableModulus(8));
  DummyArithmeticSInt value = new DummyArithmeticSInt(fd500.createElement(42));
  Assert.assertThat(value.out(), Is.is(value));
}