use prefered integer type