Move number-theory to number_theory