fix #144: double comparison problem in C#