How numbers are encoded as characters in ASCII