Re: Add operator for dividing interval by an interval

2023-05-19 Thread Andres Freund
Hi, On 2023-05-18 17:03:24 -0400, Tom Lane wrote: > Andres Freund writes: > > What about an interval / interval -> double operator that errors out > > whenever > > month is non-zero? As far as I can tell that would always be deterministic. > > We have months, days, and microseconds, and microsec

Re: Add operator for dividing interval by an interval

2023-05-18 Thread Tom Lane
Andres Freund writes: > What about an interval / interval -> double operator that errors out whenever > month is non-zero? As far as I can tell that would always be deterministic. We have months, days, and microseconds, and microseconds-per-day isn't much more stable than days-per-month (because