Explicit integer type