Subnormal floating-point numbers are expensive on Intel processors