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/