IE comes preset to the Medium Setting. As to how many people change this I am not sure. I don't think its a browser property we can pull out of the request header. Also IE's medium setting is the same as Navigator's small. Also since we have no control over this setting as designers you can't depend on it. I say you should leave your settings on medium and design using specific font sizes.
Internet Media Provider