pub unsafe extern "C" fn SCIPisInfinity( scip: *mut SCIP, val: f64, ) -> c_uint
checks if value is (positive) infinite