Fixed bug in value selection for integers

Java generics are simply broken.  Otherwise, this bug would have been detected
by the compiler.  Now, the check against the prohibition set is done on
Rationals and not on InfinitNumbers.