[xsl] ceiling(), floor(), and data types

["Birnbaum, David J djbpitt@xxxxxxxx" <xsl-list-service@xxxxxxxxxxxxxxxxxxxxxx>]

Dear XSL List,

I was surprised to learn today that ceiling() and floor() do not obligatorily
return a value of type xs:integer. If I've understood correctly that they
necessarily return a value that a human would consider an integer, is there a
reason that other return types are permitted?

Thanks,

David