question: public static RealVariable newInt ( int lowerBound , int upperBound ) { return new RealVariable ( lowerBound , Math . nextAfter ( ( double ) ( upperBound + 1 ) , Double . NEGATIVE_INFINITY ) ) ; }
target:  Returns a new integer-valued decision variable bounded within the specified range.