type of 1.2 div 1.2?

[Howard Katz]

What's the type and value of the single atomic returned by the query:

     1.2 div 1.2

I'm looking at different implementations. I see one returning an
xsd:decimal, value 1 as a result (my understanding as well). I see another
treating the data as untyped and doing two conversions to xsd:double first,
again returning a value of 1 but this time of type xsd:double.

Which one is correct?
Howard