edit stdlib/number