Add support for float_to_int_unchecked#3660

zhassan-aws merged 12 commits intomodel-checking:mainmodel-checking/kani:mainfrom

zhassan-aws:float-to-int-intrinsiczhassan-aws/kani:float-to-int-intrinsicCopy head branch name to clipboard