number formatting in Excel export