Ja, 90c2f528bcd5d140 entspricht 18262.94000000000232830644, da ist also hinten noch was los, was bei der gewoehnlichen Stringdarstellung nicht mit ausgegeben wird. Sorry wegen der pack- und Dump-Geschichten, ich haette mal gleich auf printf kommen sollen, das ist wohl die einfachste Moeglichkeit, den Unterschied zu sehen.

murphy's abs()-Trick sollte auf jeden Fall helfen.