pub unsafe extern "C" fn SCIPsetFloor( set: *mut SCIP_SET, val: f64, ) -> f64
rounds value + feasibility tolerance down to the next integer in epsilon tolerance