C# is operator, exact behavior of unboxing

Question

The C# language specification doc about the is operator reads:

The result of the operation E is T, where E is an expression and T is a type,