Syntax extension: initialize the RNG with a 31 bit constant for portability

Fixes #102.