You are correct, the RGB compoments are 16 bits. On my machine, purple3 is 125,38,205 at 8 bits each (you might have this information in a file called rgb.txt), which corresponds exactly to the OP's colors in a 16 bit colorspace (multiply each by 257 (257 = 65535/255)).