Method code for $string.is_numeric()

[Turn off line numbering]

---

  1: arg string;
  2: 
  3: return toint(string) || (| (string.trim())[1] == "0" |);

---

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