archiveandroid number format thousands separator