Coxeter_number loading ...