<p>i bet the people who have to talk daily about the IEEE 1101.1, IEEE 1101.10, and IEEE 1101.11 standards are really happy about the numbering</p>