I just learnt of INF today and found out that it can be used in comparisons:
    echo 5000 < INF ? 'yes' : 'no';       // outputs 'yes'
    echo INF < INF ? 'yes' : 'no';        // outputs 'no'
    echo INF <= INF ? 'yes' : 'no';       // outputs 'yes'
    echo INF == INF ? 'yes' : 'no';       // outputs 'yes'
You can also take its negative:
    echo -INF < -5000 ? 'yes' : 'no';    // outputs 'yes'
Division by INF is allowed:
    echo 1/INF;    // outputs '0'