printf("%# 01.1g", 9.8) yields decimal rather than exponential formatting #156