fix integer types