Added neater support for flushing denormal numbers. Now only considers
Intel architectures as bad with denormals.
Somewhat formalized the normalization of denormal IEC559 floating
points.