Factorial_number_system loading ...