This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
This test is failing for the wrong reason. It is supposed to test a circularity error; it actually fails because the result of ($value + $count) is an xs:double when an xs:integer is expected. The expected result XTDE0640 perhaps reflects this (though I get XPTY0004) - but the comments on the test suggest that it was written for a different purpose.
I have corrected the test to prevent the type error.