Rundungsfehler vermeiden?

[Thomas Meinike]

Hallo,

Ich hab ne Formel aufgestellt, um Sekundenwerte ins Stunde/Minute/Sekunde-Format umzuwandeln.
Mit dem (ganz normalen) Rechner von Windows hab ich sie auch ausprobiert und sie hat funktioniert. PHP allerdings erzeugt manchmal ein Rundungsfehler von -1 Sekunde. Gibt es eine Möglichkeit, den zu umgehen?

Warum nicht gleich PHP-Bordmittel einsetzen?

<?php

$sekunden=3609;
$ausgabe=date("H:i:s",mktime(0,0,$sekunden));
print $ausgabe; // --> 01:00:09

?>

MfG, Thomas