xamarin code: Add rounding test