Method code for $integer.to_string()

[Turn off line numbering]

---

  1: arg number;
  2: 
  3: return (> tostr(number) <);
  4: 
  5: // $#Edited: 29 Jul 97 13:36 $user_bruce

---

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