[PD] denormals from [cyclone/svf~] on Linux 64 bit