python datetime to microtime,time.mktime(dt.timetuple()) + dt.microsecond / 1000000.0