docs for random function

Hi,

The docs for the function random() currently say:

random value between 0.0 and 1.0, inclusive

this isn't a particularly useful invariant, what the code actually does
(and is commented as doing) is much more useful. Any chance of changing
it to something like:

--- doc/src/sgml/func.sgml~ 2009-06-17 22:58:49.000000000 +0100
+++ doc/src/sgml/func.sgml 2009-08-16 13:28:18.814767110 +0100
@@ -821,7 +821,7 @@
<row>
<entry><literal><function>random</function>()</literal></entry>
<entry><type>dp</type></entry>
- <entry>random value between 0.0 and 1.0, inclusive</entry>
+ <entry>random value in the range [0.0 - 1.0)</entry>
<entry><literal>random()</literal></entry>
<entry></entry>
</row>

or maybe something more readable to non-maths people?

--
Sam http://samason.me.uk/