v.19.1Bug Fixes

Fixed Error in Calculation of Integer Conversion Function Monotonicity

Fixed error in calculation of integer conversion function monotonicity. #3921 (alexey-milovidov)