Just added a few miscellaneous functions to convert the integer representations to strings