Non so se la ritieni elegante, ma mi è venuto in mente questo
Codice PHP:
$decimali substr($numero, -2); 
if(
$decimali=="00")
  
$numero=number_format($numero,0);
else
$numero=number_format($numero,1);