w3c_testsuite/SchemaImport/SeqExprCastSI/casthcds9

The w3c_testsuite/SchemaImport/SeqExprCastSI/casthcds9 test fails. The casting is not performed correctly.

Test result:
----------------------------------------------------------
test w3c_testsuite/SchemaImport/SeqExprCastSI/casthcds9
Query:
(: Name: casthcds9 :)
(: Description: Simple test for casting a float as a string - XML Data Source :)
(: insert-start :)
import schema namespace atomic = "http://www.w3.org/XQueryTest" at "$RBKT_SRC_DIR/Queries/w3c_testsuite/TestSources/atomic.xsd";
declare variable $input-context1 external;
(: insert-end :)

(($input-context1/atomic:root/atomic:float) cast as xs:string)

testdriver is using optimization level O1
Result:
<?xml version="1.0" encoding="UTF-8"?>
1267.43233E12
=== end of result ===

Result does not match expected result:
<?xml version="1.0" encoding="UTF-8"?>
1.26743233E15
=== end of expected result ===
See line 3, col -1 of expected result.