Podzielenie wygenerowanego czasu Opcje

[teez]

Witam,

Posiadam skrypt oparty o bibliotekę gameQ, w którym wyexportowany czas za pomocą :

[PHP] pobierz, plaintext 
					<? echo "".$data['serwer']['players'][$i]['time'].""; ?>
[PHP] pobierz, plaintext 

Otrzymuję np. 8380.86230469

I teraz sens tematu, moje pytanie - w jaki sposób mogę osiągnąć np.

14 minut 23 sekundy zamiast tego?

[teez]

Prawdę mówiąc nie mam pojęcia, ale chyba w mili(?) sekundach, bo wątpię aby ktoś przesiedział u mnie na serwerze 15 godzin.