pub unsafe extern "C" fn SCIPsymGE( scip: *mut SCIP, val1: f64, val2: f64, ) -> c_uint
helper function to test if val1 >= val2 while permitting infinity-values