This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
The query for test case K2-SeqExprCastable-3 is: (1 div 0) castable as xs:string The expected results are true or err:FOAR0001. Considering the resolution of Bug #4873, I believe that only err:FOAR0001 should be accepted. If you agree with this change, then please mark K2-SeqExprCastable-3 as reflecting Bug #4873 in the catalog.
Yupp, fixed in CVS.