The factorial number system · HackerTrans