Merge pull request #7503 from MerryMage/signed_comparison BTReal: Correct comparison of integers of different signs