PUB-703: Make interval of real values user-specifiable.