Function SCIPsetDualfeasFloor 

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

rounds value + dual feasibility tolerance down to the next integer