Add function `random' to generate random real number