Fix for the following bug in AVX codegen for double-to-int conversions: