09.09.2010, 07:36
(09.09.2010, 00:51)Eisvogel schrieb: Das ist ja lustig: Wird manchmal beim Rating am grünen Tisch aufgerundet? Vorhin habe ich kurz vor Mitternacht noch gelöst; "+1", aber keine Punkteveränderung, was ja kein Problem ist; und kurz nach Mitternacht zeigt die Ratingtabelle plötzlich einen Punkt mehr, ohne dass sich an der besten und der Medianzeit etwas geändert hätte (hatte die ältere Tabelle noch in einem anderen Tab). Und dieses Phänomen scheint es bei keinem sonst zu geben. Wie kommt´s? Oder war die 25-Stunden-Lösung vom Rundweg noch nicht mitberechnet worden, und es ist Zufall, dass sich das nur bei mir auswirkt?
Ich schätze mal, das liegt daran, dass die Datenbank weniger Nachkommastellen speichert als PHP berechnet. Deine Punktzahl ist in der Tat exakt 2499.5 in der Datenbank, während PHP wohl 2499.4999... ausgerechnet hat.