psql \df: use format_type and oidvectortypes map type REAL to float4, not float8 psql \dd :work around UNION bug