Fix: register the number of CPUs as a fact