trasformare decimali in secondi

io ho questo

Codice PHP:

---

echo "<p>Quando giochiamo in Coppa buchiamo la difesa ogni ".round(90/((($th+$tv)-($tch+$tcv))/$coppa),2)." minuti.</p>".PHP_EOL;


---

e come risultato ottengo

Citazione:

---

Quando giochiamo in Coppa buchiamo la difesa ogni 11.93 minuti.

---

ora mi piacerebbe trasformare i decimali .93 nei secondi residui che sarebbero 55,8 se ho fatto bene la proporzione
ma non saprei come fare
qualche suggerimento?

edit: in realtà pensavo di usare floor invece round, quindi explode e poi manipolare il risultato, ma se esiste una maniera più concisa ed elegante ...

Supponendo tu abbia a disposizione il numero di minuti in decimale in una variabile $tempo (dal tuo codice sembrerebbe $tempo = 90/((($th+$tv)-($tch+$tcv))/$coppa)) puoi ottenere il numero di minuti e secondi in questo modo:

Codice PHP:

---

$minuti = floor($tempo);
$secondi = ($tempo - $minuti) * 60;


---

ecco cosa cercavo
ora me lo studio perché certe logiche mi sfuggono
e mi rimane solo da aggiunger un if per non stampare i secondi se sono uguali a zero
grazie
https://acsocmel.altervista.org/acs-risultati

Figurati :=):.
In realtà, avendo calcolato a mano la proporzione, la logica ce l'avevi già. Andava solo tradotta in codice :=):.