src/main/java/org/vanilladb/bench/util/RandomValueGenerator.java
public double randomDoubleIncrRange(double min, double max, double incr) {

		long width = (long) ((max - min) / incr);
		return randomLongRange(0, width) * incr + min;
	}
public double randomDoubleIncrRange(double min, double max, double incr) {

		long width = (long) ((max - min) / incr);
		return randomLongRange(0, width) * incr + min;
	}
Return a double in the (inclusive) range [min, max], with the increase
precision.