PGAGetMinMachineDoubleValue(3) on Linux

The text 87703c4b03a7, as Debian 1.1 (Buzz) shipped it.

returns the smallest double of the current machine

PGAGetMinMachineDoubleValue(3) on Linux now