Not a bad idea. But the differences I see are in the fourth digit, so unfortunately they can't be explained by round-off errors. I don't think Poser would round the numbers on import, anyway, only on export. So this wouldn't explain the difference we see in Poser itself.

At any rate, it probably won't hurt to make Antonia's OBJ file use some consistent fixed-point format.
From what you posted, it looks like Poser uses 8 digits, but trims off trailing zeros.

-- I'm not mad at you, just Westphalian.