add a lot of numbers' names to NumberToText.hs