This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
In the version of the results for untyped input (orderBy22alt.txt), the first value is given as "-0" rather than "0". The result will only be negative zero if the string "-0" appearing in the source document is treated as negative zero rather than positive zero. However Section 17.1.3.2 Casting to xs:double of F+O makes it clear that "-0" may be converted to either positive or negative zero.
I agree with the resolution that you have suggested and have added orderBy22alt2.txt as a third expected result.