question: private boolean afterCommaSearch ( RealVariable realVar , Collection < Constraint < ? > > cnstr ) throws SolverTimeoutException { boolean improvement = false ; int maxPrecision = realVar . getMaxValue ( ) > Float . MAX_VALUE ? 15 : 7 ; for ( int precision = 1 ; precision <= maxPrecision ; precision ++ ) { chopOffPrecision ( precision , maxPrecision == 7 ) ; log . debug ( "Current precision: " + precision ) ; final double delta = Math . pow ( 10.0 , - precision ) ; final double factor = 2 ; if ( doRealSearch ( delta , factor ) ) improvement = true ; if ( this . checkpointedDistance <= 0 ) { break ; } } return improvement ; }
target:  Try to optimize the digits after the comma