Enumerative Galois theory for number fields