edit stdlib/Number