Added an assertion about the fractional part of the MJD