SZS status Theorem for i/f/binary_ieee/ulp__lt__ULP
