https://wp.jochen.hayek.name/blog-en/2016/07/18/xpath-and-xquery-functions-and-operators-3-0-formatting-integers-and-numbers/