Miglior gestione di ore e minuti con mysql e php

[Anuelicon]

Ciao a tutti,
secondo voi qual'è il metodo migliore per gestire le operazioni sulle ore con mysql e php per questo caso??.
Cioè il campo o i campi in mysql e le successive operazioni con il codice php, tenedo conto che non si tratta di orari di orologio ma di budget.
es:
Hai a disposizione ancora 8:30...quanto hai lavorato sul tuo progetto ?? ...30 minuti -> SALVA...
Hai a disposizione ancora 8:00 ... ecc ecc
if(budget==0)
Il budget a tua disposizione è terminato !!

il campo del db che si va a decrementare (budget)... stavo pensando ad un float 8,5 (8:30) ma non mi convince molto, conversioni in fase di inserimento dati utente e conversione per visualizzare il nuovo budget....mi occorrone le funzioni php di conversione :master: mmmm ....
visto che sono ancora in fase di analisi chiedo il vostro parere... in termini di manutenibilità futura cosa scegliereste di fare ??

Grazie per i consigli.

[ntd]

Il tipo TIME arriva fino a 839 ore: fai presto a sforarlo. Usa un FLOAT o meglio un INT sui minuti, così gli arrotondamenti non ti rompono. La conversione in formato umano è abbastanza banale...

[Anuelicon]

Ok ...uso campi INT nel db e trasformo gli orari in soli minuti (e viceversa) con un paio di funzioni php.
Grazie !!