PGARandomInterval(3) on Linux

The text 1d3b59b15b04, as Debian 1.1 (Buzz) shipped it.

returns a uniform random number on the specified interval

PGARandomInterval(3) on Linux now