Euclid.Extra.Integer.rand

You're seeing just the function rand, go back to Euclid.Extra.Integer module for more information.