Tests pass; added one more for ModPoint.mulNum