A maybe-bug?

Hi all!

I tried this:

tmp1=# CREATE DOMAIN real as numeric;
CREATE DOMAIN
tmp1=# CREATE TABLE t1 ( r real );
CREATE TABLE
tmp1=# CREATE TABLE t2 ( r "real" );
CREATE TABLE
tmp1=# INSERT INTO t1 VALUES ( 0.000000000000000000000000000001 );
INSERT 0 1
tmp1=# INSERT INTO t1 VALUES (
0.00000000000000000000000000000000000000000000001 );
ERROR:  value out of range: underflow
tmp1=# INSERT INTO t2 VALUES ( 0.000000000000000000000000000001 );
INSERT 0 1
tmp1=# INSERT INTO t2 VALUES (
0.00000000000000000000000000000000000000000000001 );
INSERT 0 1
tmp1=#

It looks like to me this is a bug and also the documentation seems to confirm:
"The domain name must be unique among the types and domains existing
in its schema."
Any idea?

--
Vincenzo Romano
NotOrAnd Information Technologies
NON QVIETIS MARIBVS NAVTA PERITVS