Factorial number system