Fix unsound f128 -> i128 lower bound in float-to-int range check - #4663

Fix unsound f128 -> i128 lower bound in float-to-int range check#4663

tautschnig merged 3 commits into

model-checking:mainmodel-checking/kani:mainfrom

tautschnig:fix-f128-i128-lower-boundtautschnig/kani:fix-f128-i128-lower-boundCopy head branch name to clipboard