$ 0 0 .NET,C#: A deep-dive in to a rare difference between the way the CLR and C# handle a given cast