decimal encoding of number