Loading Open Internet
    Defining uniform probability distributions over real numbers