Poważne błędy z podniesieniem / nullable konwersji z int, umożliwiając konwersję z dziesiętnych

Myślę, że to pytanie przyniesie mi natychmiastową sławę tutaj na Stack Overflow.

Załóżmy, że masz następujący typ:

// represents a decimal number with at most two decimal places after the period
struct NumberFixedPoint2
{
    decimal number;

    // an integer has no fractional part; can convert to this type
    public static implicit operator NumberFixedPoint2(int integer)
    {
        return new NumberFixedPoint2 { number = integer };
    }

    // this type is a decimal number; can convert to System.Decimal
    public static implicit operator decimal(NumberFixedPoint2 nfp2)
    {
        return nfp2.number;
    }

    /* will add more nice members later */
}

Został napisany w taki sposób, że dozwolone są tylko bezpieczne konwersje, które nie tracą precyzji. Jednak, gdy wypróbuję ten kod:

    static void Main()
    {
        decimal bad = 2.718281828m;
        NumberFixedPoint2 badNfp2 = (NumberFixedPoint2)bad;
        Console.WriteLine(badNfp2);
    }

Jestem zaskoczony, że to kompiluje i po uruchomieniu pisze 2. Konwersja z int (o wartości 2) na NumberFixedPoint2 jest tutaj ważna. (Preferowane jest przeciążenie WriteLine, które zajmuje System.Decimal, gdyby ktoś się zastanawiał.)

Dlaczego, u licha, konwersja z decimal na NumberFixedPoint2 jest dozwolona? (Nawiasem mówiąc, w powyższym kodzie, Jeśli NumberFixedPoint2 zostanie zmieniona ze struktury na klasę, nic się nie zmieni.)

Czy wiesz, czy specyfikacja języka C# mówi, że niejawna konwersja z int do typu niestandardowego "implikuje" istnienie "bezpośredniej" jawnej konwersji z decimal do tego typu niestandardowego?

    static void Main()
    {
        decimal? moreBad = 7.3890560989m;
        NumberFixedPoint2? moreBadNfp2 = (NumberFixedPoint2?)moreBad;
        Console.WriteLine(moreBadNfp2.Value);
    }

Jak widzisz, my mieć (podniósł) Nullable<> konwersje tutaj. Ale o tak, to się skompiluje.

Po skompilowaniu w x86 "platform", kod ten wypisuje nieprzewidywalną wartość liczbową. Który z nich zmienia się od czasu do czasu. Jako przykład, pewnego razu dostałem 2289956. To jeden poważny błąd!

Podczas kompilacji dla platformy x64 powyższy kod zawiesza aplikację z System.InvalidProgramException z Komunikatem Common Language Runtime wykrył nieprawidłowy program. Zgodnie z dokumentacją klasy InvalidProgramException:

Ogólnie oznacza to błąd w kompilatorze, który wygenerował program.

Czy ktoś (jak Eric Lippert, lub ktoś, kto pracował z podniesieniami konwersji w kompilatorze C#) zna przyczynę tych błędów? Na przykład, jaki jest wystarczający warunek, że nie natkniemy się na nie w naszym kodzie? Ponieważ typ NumberFixedPoint2 jest w rzeczywistości czymś, co mamy w prawdziwym kodzie (zarządzanie cudzymi pieniędzmi i rzeczy).