public static int toInt(final double probability) {
		return (int)(RANGE*probability + Integer.MIN_VALUE);
	}
Maps the probability, given in the range {@code [0, 1]}, to an
integer in the range {@code [Integer.MIN_VALUE, Integer.MAX_VALUE]}.

@see #toFloat(int)

@param probability the probability to widen.
@return the widened probability.
jenetics/src/main/java/io/jenetics/internal/math/Probabilities.java