Reexport `num_cpus` in `std::os`. Closes #14707