Fixes GH-131: the bug was .min instead of .max (to bump the minimum in nightly/ multiplied runs, but still enforce it to be at least min). Simplified the implementation to just use scaling between 0..Integer.MAX_INTEGER.