https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90374
--- Comment #25 from Thomas Henlich <thenlich+gccbug at gmail dot com> ---
On second thoughts, I change my mind to:
c) the same output as G0.10 editing ("0.1000000000E+1235") because there is no
need to do it differently for E editing.
