"Jim C. Nasby" <jnasby@pervasive.com> writes:
> Shouldn't this produce Infinity instead of an error?
> postgresql=# select 5::float/0::float;
> ERROR: division by zero
No, I don't think so. SQL92 6.12 <numeric value expression> quoth:
4) The dyadic arithmetic operators <plus sign>, <minus sign>, <as- terisk>, and <solidus> (+, -, *,
and/, respectively) specify addition, subtraction, multiplication, and division, respec- tively. If
thevalue of a divisor is zero, then an exception condition is raised: data exception-division by zero.
There is nothing in there about allowing IEEE infinities instead, and
I very strongly doubt that the average database user would expect such
behavior.
regards, tom lane