w3c_testsuite/SchemaImport/SchemaImportProlog/schema-import-

The w3c_testsuite/SchemaImport/SchemaImportProlog/schema-import-13 test fails.

The log:
----------------------------------------------------------
test w3c_testsuite/SchemaImport/SchemaImportProlog/schema-import-13
Query:
(: Name: schema-import-13:)
(: Description: Evaluation of usage of xs:float type as argument to fn:max(). :)

(: 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 :)

(fn:max(($input-context1//atomic:float,$input-context1//atomic:float))) eq xs:float(1.26743233E15)

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

Result does not match expected result:
<?xml version="1.0" encoding="UTF-8"?>
true
=== end of expected result ===

The fn:max(($input-context1//atomic:float,$input-context1//atomic:float)) part returns 1.26743233E15, but the comparison returns false.