[PD] Pentium 4 and denormalization