changed real inequality test, fixed non-exhaustive math