For an alternative method, use list():
list($int_total) = mysql_fetch_row($result);
This method is not limited to a single result column, e.g.:
$qry = "select a, b, c, from ...";
...
list($a,$b,$c) = mysql_fetch_row($result);
As this example suggests, however, the one great downside is that you must match the sequence of the columns in your SELECT statement with the sequence of variables in the list(), otherwise values aren't the variables you expect. IMO it's probably a good idea to restrict this usage to where you have just a few columns in the query.