$chop(number text)
The chop() function returns the initial part of text, excluding the final number characters (code points)
$chop(5 abcdef) /* returns "a" */ $chop(2 fnord) /* returns "fno" */
The chop() function first appeared in EPIC4pre1.042.