https://wp.jochen.hayek.name/blog-en/2016/07/18/xquery-padding-an-integer-or-a-number-but-not-with-0/