Questo nel caso in cui l'utente non sia loggato.
Qualche riga più su ho anche scritto:
echo "<p>Saldo: €".number_format((float)($_SESSION["saldo"]), 2, ',', '')."</p>";
che mi stampa il saldo corrente giusto, tranne nel caso in cui effettuo la ricarica che non lo aggiorna in tempo reale.