Multiplies a relative binary timestamp by a floating-point value.

    Format

      #include <utc.h>

      int utc_mulftime(*result, *utc1, factor)

         utc_t *result;
         const utc_t *utc1;
         const double factor;