修改stdlib/number