RandomNumber: add ABSTRACT.
Merge pull request #613 from mwmiller/abstraction

RandomNumber: add ABSTRACT.