in NumberToTexs.hs, modify type of digitToText