NASM 2.05 based x86 Instruction Reference[ch234]
A.5.210 PF2ID: Packed Single-Precision FP to Integer Convert PF2ID mm1,mm2/m64 ; 0F 0F /r 1D [PENT,3DNOW] PF2ID converts two single-precision FP values in the source operand to signed 32-bit integers, using truncation, and stores them in the destination operand. Source values that are outside the range supported by the destination are saturated to the largest absolute value of the same sign.