Whoa, I thought that was a typo... when did EECS go to four digits?

So 6.0002 is pronounced "six triple oh two"?