nti.externalization.integer_strings: Short readable strings from large integers nti.externalization.integer_strings