$arandom/$rdist_ seeds

Hi

The seeds for these system functions can be "decimal_number". The EBNF
for that is

decimal_number ::=
unsigned_number
| [ size ] decimal_base unsigned_number
| [ size ] decimal_base x_digit { _ }
| [ size ] decimal_base z_digit { _ }

I can't see how negative numbers are allowed. Shouldn't that possibility be

"[sign]decimal_number"?

Regards
Paul

-- 
Dr Paul Floyd
Mentor Graphics Corporation
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.