DdEncodeNumericTime() - convert atomic time info to encoded integer

DdEncodeNumericTime() - convert atomic time info to encoded integer DdEncodeNumericTime() - convert atomic time info to encoded integer

   WtInt32 DdEncodeNumericTime(
      /* result is encoded time in 1/3000 seconds */
      WtInt32 hour,       /* [IN] - hour in binary (0-23) */
      WtInt32 minute,     /* [IN] - minutes in binary (0-59) */
      WtInt32 second,     /* [IN] - seconds in binary (0-59) */
      WtInt32 fraction,   /* [IN] - thousand-ths of seconds */
      WtInt32 *jderr);