Red book operator returns the value of a clock that is incremented by 1 for every millisecond of execution by the interpreter.
Core code registered in systemdict.
1.9.4