PHP classes to convert arbitrary radix/digit characters