Method code for $string.to_number()

[Turn off line numbering]

---

  1: arg str;
  2: 
  3: if (str.is_numeric())
  4:     return toint(str);
  5: throw(~nonum, "\"" + str + "\" is not a number.");

---

// Created 27-Mar-1995 as a part of ColdCore, see: @help Credit