Codice PHP:
$user_check = mysql_num_rows($sql_user_check); 
$user_check è di sicuro un numero perché mysql_num_rows() ritorna un int.