My first thought why choose C#? The CLR supports floating point. Problematic if you want deterministic execution. Which you do for a smart contract. How would you deal with the halting problem?