pub unsafe extern "C" fn mult_interval_double( interv: *const Interval, factor: f64, ) -> *mut Interval