rectregion testbed: use slightly better randomness (higher bits of random()'s output).