Fix number formatting for decimals, tag 1.2.6