* htdocs/prospection/reporting.php: better number formatting