AST/incorrectLogicOperator: Better handling of large doubles where x+1=>x