Is that really where the name comes from? I thought Notch said it was "10 to the c", referring to the "0x0001 0000 0000 0000 years" from the story.