Thanks everyone for your help. I think I'll use the method mentioned in "perldoc -q 'long decimals'" to resolve this.

But from an algorithmic perspective, it still irks me that these two numbers, which represent the exact same value, get converted to two slightly different binary values on this Linux system. I for one would call that a bug in the C compiler.