标签:Factorial number system