def IntToStr(input_bvv):
return StringV(str(input_bvv.value))<EOL>
Returns the string representation of the integer expressed in the BitVector

:param input_bvv: the integer expressed as a BitVector we want to convert as a string

:return: the string representation of the integer