@Test
public void excludeConInt1() {
RestrictedDatatype<Number> dr = new RestrictedRealDatatype( dt, IntegerInterval
.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval
.allReals() );
dr = dr.exclude( singleton( 1 ) );
assertFalse( dr.contains( 1 ) );
assertTrue( dr.contains( 0 ) );
assertTrue( dr.contains( 2 ) );
assertTrue( dr.contains( decimal( "0.99999" ) ) );