Changed the name of the * primitive to mul-non-neg.