Конечно, num не обязательно int. Можно поставить любой тип ( который можно сравнивать :) ).