ceiling(), floor(), and data types

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