$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.