Possible Duplicate:
What does “expanded ISO” mean?
Are these settings real sensitivity options when reading the CMOS sensor or just after-processing what can be done outside the camera as well? (Of course working with RAW format outside the camera).
Speculative additional question: if real then why not just call them ISO6400 and ISO12800?