Yes, that certainly clears things up and explains why the value is added, thanks.
I noticed this in my latest project where I had position an element by the bottom property, and the position was all wrong in FF. The inline top property that is added overrided the bottom property in my css class. I then changed the bottom property to a top property in my css and positioned it as earlier. But that didn't solve it either since the inline top value was set to 0px and the value in my class was something else. I solved this by adding the !important declaration to it. But I guess this can cause the bug you mentioned to kick in since the top value in the inline style is ignored?