Integer types are used by design. And it's designed by Oracle that if the coordinates are inches, the size & position attributes are multiplied by 1000. So the decimal mark is not ignored and it's not a bug.
What do you use XML files for?
If you need decimal values I suggest you to divide integer values by 1000 in further processing (or if you really need decimal values in these XML files you can use XSLT transformation - a bit crazy solution ).
If you want to dig deeper or if you work a lot with such XML files, I suggest you to generate XML Schema file, so you can see the big picture of possilbe elements and attributes. To achieve this you can use the frmxmlsg.bat tool. As you can see in forms.xsd file, every size (widht, height) and position attributes are always of type integer (regardless of coordinates):
<attribute name="Width" type="int"/>
<attribute name="Height" type="int"/>
<attribute name="XPosition" type="int"/>
<attribute name="YPosition" type="int"/>
Note, that if you'll use XSLT on your file and you add decimals, your XML file won't be valid against the schema.