Add explicit integer type