Method code for $integer.to_string()

[Turn on line numbering]

---

arg number;

return (> tostr(number) <);

// $#Edited: 29 Jul 97 13:36 $user_bruce

---

["// Created 26-Mar-1995 as a part of ColdCore, see: @help Credit"]