Cardinal_exponentiation loading ...