Comment by pohl

Does that mean that the ARM processors in the writeup are not satisfying IEEE 754?