PHP comparison FAIL

gistfile1.php

<?php
$a = "0xF14067C1C600003D";
$b = $a;
echo '$a = ';var_dump($a);
echo '$b = ';var_dump($b);
if($a == $b) {
        echo "\$a == \$b\n";
} else {
        echo "\$a != \$b\n";
}
if($a === $b) {
        echo "\$a === \$b\n";
} else {
        echo "\$a !== \$b\n";
}
?>

Output:
$a = string(18) "0xF14067C1C600003D"
$b = string(18) "0xF14067C1C600003D"
$a != $b
$a === $b