Divid by zero bug in float - Mailing list pgsql-hackers

Shouldn't this produce Infinity instead of an error?
postgresql=# select 5::float/0::float;
ERROR:  division by zero
postgresql=# select 5::float/'Infinity'::float;?column? 
----------       0
(1 row)

postgresql=# 
-- 
Jim C. Nasby, Sr. Engineering Consultant      jnasby@pervasive.com
Pervasive Software      http://pervasive.com    work: 512-231-6117
vcard: http://jim.nasby.net/pervasive.vcf       cell: 512-569-9461