pub unsafe extern "C" fn SCIPfeasFloor( scip: *mut SCIP, val: f64, ) -> f64
rounds value + feasibility tolerance down to the next integer