Ensuring two digits in EXSLT produced time fields