BasicNumericContext { public int getDefaultFixedPointPrecision() { return defaultFixedPointPrecision; } BasicNumericContext(int maxBitLength, int myId, int noOfParties,
      FieldDefinition fieldDefinition, int defaultFixedPointPrecision); int getMaxBitLength(); FieldDefinition getFieldDefinition(); BigInteger getModulus(); int getMyId(); int getNoOfParties(); int getDefaultFixedPointPrecision();  }
@Test public void getPrecision() { Assert.assertEquals(context.getDefaultFixedPointPrecision(), precision); }