The default value for the number of workers.