BUG bei == ?!?

[*ich*]

Hallo zusammen,

eigentlich ist es mir schon etwas doof, dass zu fragen, aber warum gibt:

var_dump("64190000000000086" == "64190000000000085");

true zurück und nicht false?!?!?

Ich versteh die Welt nicht mehr!

var_dump("64190000000000086" === "64190000000000085"); ergibt übrigens dann false...

Danke für Antworten schon im Voraus.

Gruß

*Ich

PS: Vielleicht hilft es ja. Ich habe es auf einer PHP 5.1.2-1.dotdeb.2 (cli) und auf einer Version 5.1.2 auf Windows ausprobiert.