#5305: reject numbers outside long range in number.as-i64 instead of saturating

Author: morphqdd

eo-runtime/src/main/eo/number.eo

@@ -1455,5 +1455,10 @@
   # Tests that NaN is not a finite value.
   nan.is-finite.not > [] +> nan-is-not-finite
 
+  # Tests that converting a number far outside i64 range to i64 throws an error,
+  # instead of silently saturating to Long.MAX_VALUE.
+  [] +> throws-on-converting-huge-number-to-i64
+    1.0e30.as-i64 > @
+
   # Tests that NaN is not an integer.
   nan.is-integer.not > [] +> nan-is-not-integer

eo-runtime/src/main/java/org/eolang/EOnumber$EOas_i64.java

@@ -21,14 +21,14 @@ public final class EOnumber$EOas_i64 extends PhDefault implements Atom {
     @Override
     public Phi lambda() {
         final Phi num = Phi.Φ.take("i64").copy();
-        num.put(
-            0,
-            new Data.ToPhi(
-                new BytesOf(
-                    new Expect.Number(Expect.at(this, Phi.RHO)).it().longValue()
-                ).take()
-            )
-        );
+        final long value = Expect.at(this, Phi.RHO)
+            .that(phi -> new Dataized(phi).asNumber())
+            .otherwise("must be a number")
+            .must(number -> number >= Long.MIN_VALUE && number <= Long.MAX_VALUE)
+            .otherwise("must fit into long range")
+            .that(Double::longValue)
+            .it();
+        num.put(0, new Data.ToPhi(new BytesOf(value).take()));
         return num;
     }
 }