Factorial_number_system