rand.hpp: add a comment.