add stdlib/Number