Functions and Operators - 5.2 INF

[Re-send of a post which didn't seem to make the list.]

In the numbered points following Issue 177 I have a question about the 
results stated.

If we have op:numeric-subtract(1,INF) is the result really INF? cf numbered 
point 2.

Andrew Watt