Tidy quickcheck tests and check2
Attempt to correct translation to/from IBM ((right justified 23 bits in 24 significand bits)