diff --git a/src/api/dotnet/RCFNum.cs b/src/api/dotnet/RCFNum.cs
index e1348039c..dde4761a0 100644
--- a/src/api/dotnet/RCFNum.cs
+++ b/src/api/dotnet/RCFNum.cs
@@ -399,7 +399,7 @@ namespace Microsoft.Z3
         /// <returns>String representation</returns>
         public string ToString(bool compact)
         {
-            return Native.Z3_rcf_num_to_string(Context.nCtx, NativeObject, compact ? 1 : 0, false);
+            return Native.Z3_rcf_num_to_string(Context.nCtx, NativeObject, compact ? (byte)1 : (byte)0, 0);
         }
 
         /// <summary>