redefines integer.asString:convert this to a decimal number in a string. If negative, add "-" asthe first character.redefines Object.asString: