X86 cost model: Vectorizing integer division is a bad idea