What's with 9001.0? Besides the obvious "over 9000"?