W3C home > Mailing lists > Public > public-qt-comments@w3.org > July 2016

[Bug 29749] New: [fo31] Rounding of fractional seconds in format-time()

From: <bugzilla@jessica.w3.org>
Date: Thu, 21 Jul 2016 19:23:08 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-29749-523@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=29749

            Bug ID: 29749
           Summary: [fo31] Rounding of fractional seconds in format-time()
           Product: XPath / XQuery / XSLT
           Version: Candidate Recommendation
          Hardware: PC
                OS: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Functions and Operators 3.1
          Assignee: mike@saxonica.com
          Reporter: mike@saxonica.com
        QA Contact: public-qt-comments@w3.org
  Target Milestone: ---

Over ten years ago, as a result of bug #3018, the following sentence was added
to the spec:

In the case of the fractional seconds component, the value is rounded to the
specified size as if by applying the function
round-half-to-even(fractional-seconds, max-width).

and it seems this has gone unchallenged since.

So what exactly is the output of

format-time(xs:time("12:01:01.9999", "[s99].[f99]"))

In particular, how does one round a fractional seconds value such as .9999 to a
maximum width of two digits by following the round-half-to-even rule?

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Thursday, 21 July 2016 19:23:17 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:58:01 UTC