Use the NumDecimals language extension