Based on `toPrimitive()` in LDFlex "INF"^^xsd:double is valid.
Based on
toPrimitive()in LDFlex "INF"^^xsd:double is valid.