reformatting of SSE2 double -> int conversion