Definitely missed that completely.
Thanks a lot. It's amazing how the simplest things can sometimes give you so much trouble.
Just to make sure I'm understanding it correctly, the U 1 to infinite of (0,n) is saying you're doing a union of {0, .. Real Values, .., 1} U {0, .., 2} U {0,..,3}...