declare that div(int,int) returns int