1 files changed, 15 insertions, 0 deletions
diff --git a/txr.1 b/txr.1
index 0a377670..7e1de7d4 100644
--- a/txr.1
+++ b/txr.1
@@ -47206,6 +47206,21 @@ argument must be a positive integer. If
 is 1, then the function returns zero without altering the state of the
 pseudo-random number generator.
 
+.coNP Function @ random-float
+.synb
+.mets (random-float <> [ random-state ])
+.syne
+.desc
+The
+.code random-float
+function produces a pseudo-random floating-point value in the range [0.0, 1.0).
+
+The numbers are obtained from a WELL 512 PRNG, whose state is stored in the
+random state object given by the argument to the optional
+.meta random-state
+parameter, which defaults to the value of
+.codn *random-state* .
+
 .SS* Time
 .coNP Functions @ time and @ time-usec
 .synb