Document Interpreter.StackOK
Fix copy&paste bug
Make sure that MIN-RANDOM-{FLOAT,INTEGER} is <= MAX-RANDOM-{FLOAT,INTEGER}