pub unsafe extern "C" fn SCIPnextafter(from: f64, to: f64) -> f64
returns the next representable value of from in the direction of to