Renamed two specifications for numeric extractors of Path