fixed up base10-encoding