3This behaviour is popularly referred to as floating point contagion