Made Priority::numericPriority() public.