pub unsafe extern "C" fn SCIPintervalNegateReal(x: f64) -> f64
negates a number in a way that the compiler does not optimize it away