https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113500
--- Comment #8 from Jonathan Wakely <redi at gcc dot gnu.org> --- I am testing a patch that allows writing floating-point utc_time, gps_time etc. with any format string, and allows writing floating-point sys_time with a non-empty spec.