PGAEncodeRealAsGrayCode(3) on Linux

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

encodes a real value as a binary reflected Gray code sequence

PGAEncodeRealAsGrayCode(3) on Linux now