printf("%# 01.1g", 9.8) results in many 0's due to underflow #155