Tom Lane wrote:
>
> This is not the only place where the float-timestamps code has rounding
> behavior that doesn't appear in the integer-timestamps code.
Yeah... For that matter, I find this surprising as well:
regression=# select '0.7 secs'::interval, ('7 secs'::interval/10); interval | ?column?
-----------------+------------- 00:00:00.699999 | 00:00:00.70
(1 row)
I'll start making a list of them for a future patch down the road.