convert from integer to string