this should be an integer div in all cases