numberToText() migrated to util.js