|> Consider:

|>

|> numeric digits 9

|> say 0 + 888888888.5000000000xxxx000000001

|>

|> (where xxxx is an arbitrary number of zeros). This number should

|> always be rounded up, never down, as should:

|>

|> say 0 + 888888888.59999999xxxx9999999

|>

|> (where xxxx is an arbitrary number of nines). In other words, the

|> even/odd rule can only be applied if you have inspected all digits

|> to the right and confirmed that they are zeros. If you do inspect

|> them, then your results are influenced by more than DIGITS()+1

|> digits, and hence don't follow the principles of NUMERIC DIGITS.

|> If you don't inspect them, then quite large errors occur (as in the

|> second case above).

|>

|> Mike

What about:

numeric digits 9

say 0 + 888888888.5000000000xxxx00000000Z

where the last character is is in fact the letter "Z". This should

fail, as we no longer have a valid number. So it seems to me that we

always have to inspect all of the digits anyway, so where is the harm

in using even/odd rounding?

--

John Brock

uunet!csfb1!jbrock