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(dot)dtz(at)gmail(dot)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)