BUG #5227: please add a divide operator for intervals

The following bug has been logged online:

Bug reference:      5227
Logged by:          Michal Pasternak
Email address:      michal.dtz@gmail.com
PostgreSQL version: 8.4
Operating system:   doesn't matter
Description:        please add a divide operator for intervals
Details:

Please add a divide operator for INTERVAL type, if possible.

db=# SELECT '15 seconds'::INTERVAL / '15 seconds'::INTERVAL;
ERROR:  operator does not exist: interval / interval
LINE 1: SELECT '15 seconds'::INTERVAL / '15 seconds'::INTERVAL;
                                      ^
HINT:  No operator matches the given name and argument type(s). You might
need to add explicit type casts.


db=# SELECT EXTRACT(EPOCH FROM '15 seconds'::INTERVAL) / EXTRACT(EPOCH FROM
'15 seconds'::INTERVAL);
 ?column?
----------
        1
(1 row)