It would have to be rather weird software since I would think that MJD would almost always be stored as a double. I suppose in some odd cases it might be stored as an uint16_t but then it would break at 65536, not 60000 and I have no idea why anyone would do that.
