Hmm, one thing that I'd forgotten was you could have written something like (($all_users > $number)), which should work. If you use the square brackets though, then <, > etc won't work on numbers.
This page explains things better than I probably can.