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