Subnormal floating-point numbers are expensive on Intel processors | TickerVault