Function SCIPsetFeasFloor 

pub unsafe extern "C" fn SCIPsetFeasFloor(
    set: *mut SCIP_SET,
    val: f64,
) -> f64

rounds value + feasibility tolerance down to the next integer