Sparql: Convert xsd:double (with exponent) to xsd:decimal

Hi,

When converting a xsd:double to xsd:decimal, the xsd:decimal value keeps the E notation (which seems invalid : XML Schema Part 2: Datatypes Second Edition )

Is this a bug?
And does someone if there’s a workaround?

Query:

PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
SELECT * WHERE {
  BIND( "1.62608E7"^^xsd:double AS ?value_double ) .
  BIND( xsd:decimal(?value_double) AS ?value_decimal ) .
}

returns:
?value_double: "1.62608E7"^^xsd:double
?value_decimal: "1.62608E7"^^xsd:decimal

Update: Forgot to mention the Stardog Version:
Stardog Server Version: 7.9.1

Regards
Michael

Hi Michael,

This looks like a bug. I created a ticket for it: [PLAT-5145].

Thanks,
Lars