SZS status Theorem for i/f/machine_ieee/fp16__to__real__n2w
