- From: Andy Seaborne via GitHub <sysbot+gh@w3.org>
- Date: Sat, 29 Oct 2022 10:25:40 +0000
- To: public-dxwg-wg@w3.org
Sorry it does not help. But why change `xsd:decimal`?
https://www.w3.org/TR/xpath-functions-3/#casting-to-decimal
`xsd:decimal(xsd:double("2E3"))`
--
GitHub Notification of comment by afs
Please view or discuss this issue at https://github.com/w3c/dxwg/issues/1536#issuecomment-1295795200 using your GitHub account
--
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Saturday, 29 October 2022 10:25:41 UTC