Decimal values for position in FireFox (bug?)

Decimal values for position in FireFox (bug?)

Hi,

When using x.position().top (not only) in FireFox it may return decimal numbers (like 7.5) whereas IE and Chrome return a whole number (like 7). A similar problem has been fixed when using offset, but I guess the position hasn't been fixed:

http://dev.jquery.com/ticket/3742

More instances of this issue:

http://www.mail-archive.com/jquery-ui@g ... 06422.html

http://groups.google.com/group/jquery-u ... 85eca2678f

Would it be possible to confirm this as a bug and somebody who has the necessary permissions to submit this? Thanks.