Method code for $string.is_numeric()

[Turn on line numbering]

---

arg string;

return toint(string) || (| (string.trim())[1] == "0" |);

---

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