This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
This is more in keeping with the the rest of XQuery, esp. F&O, which uses xs:double for numeric arguments except for the float-specific operations.
The implied proposal has been accepted and applied.