PROC Print(txt) IS Type.C(R2.Origin, txt) END;

PROC Cmd0() IS 
  IF 
    VAR x ~ 1.4142135 IN 
      x * x = 2 -> 
        IF 
          INT(x * x) -> Print("Integer: " & Text.FromNum(x * x, 12)) 
        | Print("Non-integer: " & Text.FromNum(x * x, 7)) 
        FI 
    END 
  FI 
END;