BNR notably works with real numbers and non linear constraints.