How to convert an interval like "1 day 01:30:00" into "25:30:00"? How to convert an interval like "1 day 01:30:00" into "25:30:00"? postgresql postgresql