printf_("% 01.1g", 9.8) yields 10, should yield 1.e01 according to gcc 14 #184