next | previous | forward | backward | up | top | index | toc | home

random(RR) -- random real number

Synopsis

Description

i1 : random 3.14

o1 = 1.08945859805871

o1 : RR (of precision 53)
i2 : random 3p200

o2 = 2.24370438842789516435328694978285461890300722414031492207112

o2 : RR (of precision 200)

See also