Well, I suppose "1 3 5 7" is just as equal to "1 3 5 7" as "1357" is to "1357".

Thanks.

Update - in fact, I do believe it solves the issue our velveteen friend Cop mentions above, since "1 234" is clearly not equal to "12 34".