in pratica, tutti e due i valori, corrispondono a numeri che vanno da 0 a 5 per quanto riguarda tutti gli $_POST quindi in realtà il totale di "$abtot" è un intero, invece $tot è il totale che si può spendere all'interno di $abtot...

Se vuoi posso inserire anche tutto il form, ma è bello lungo...