*** a/src/backend/utils/adt/datetime.c
--- b/src/backend/utils/adt/datetime.c
***************
*** 3791,3797 **** EncodeInterval(struct pg_tm * tm, fsec_t fsec, int style, char *str)
  					is_before = TRUE;
  				}
  				sprintf(cp, "%s%d.%02d secs", is_nonzero ? " " : "",
! 						tm->tm_sec, ((int) sec) / 10000);
  				cp += strlen(cp);
  #else
  				fsec += tm->tm_sec;
--- 3791,3797 ----
  					is_before = TRUE;
  				}
  				sprintf(cp, "%s%d.%02d secs", is_nonzero ? " " : "",
! 						tm->tm_sec, (int) abs(rint(sec / 10000.0)));
  				cp += strlen(cp);
  #else
  				fsec += tm->tm_sec;