This is an important floating point math routine, see:

- https://www.atarimagazines.com/compute/issue72/random_numbers.php

XXX - try to find real-life example