Codice PHP:
/*
Composes and returns a formatted number with 2 fixed decimals:
0.00
*/
function fmt2dec($var)
{
    return sprintf("%01.2f", $var);
}