SZS status Theorem for i/f/machine_ieee/fp64__isFinite__n2w
