Function SCIPintervalSetRoundingModeDownwards 

pub unsafe extern "C" fn SCIPintervalSetRoundingModeDownwards()

sets rounding mode of floating point operations to downwards rounding