Reapply: [Float2Int] Resolve FIXME: Pick the smallest legal type that fits (#86337)

Originally reverted because of a bug in Range that is now fixed
(#86041), we can reland this commit. Tests have been added to ensure the
miscompile that caused the revert does not happen again.