Allow cardinality to be treated as long in Java

Source/DafnyCore/Compilers/Java/Compiler-java.cs

@@ -1083,6 +1083,7 @@ private string CastIfSmallNativeType(NativeType nt) {
       switch (AsJavaNativeType(nt)) {
         case JavaNativeType.Byte: return "(byte) ";
         case JavaNativeType.Short: return "(short) ";
+        case JavaNativeType.Long: return "(long) ";
         default: return "";
       }
     }

Test/git-issues/github-issue-4483.dfy

@@ -0,0 +1,9 @@
+// RUN: %testDafnyForEachCompiler "%s"
+const TWO_TO_THE_64:  int := 0x1_00000000_00000000
+newtype uint64 = x: int | 0 <= x < TWO_TO_THE_64
+
+method Foo() returns (tuple: (uint64, uint64)) {
+  var s := [1,2,3];
+  var (foo, length) := (0, |s| as uint64);
+  return (foo, length);
+}