SZS status Theorem for i/f/float/ZERO__IS__ZERO_c0
