Fix integer type