Con Easyphp 2.01b sto testando questo codice

Codice PHP:
<?
$a=1393.27+587.57;
$b=1980.84;
if($a>$b){
    echo "maggiore: ".$a.">".$b;
    // a me entra qui dentro
}else{
    echo "uguale o minore ".$a."<".$b;
}
?>
potreste testarlo anche voi e dirmi se a voi entra nel maggiore o nell'uguale.
Sono io che sto impazzendo o il php ha un bug??