russcip
russcip copied to clipboard
Wrap numerics in types so that numerical operations respect scip's tolerances