de-normalise floating-point numbers