1 files changed, 1116 insertions, 0 deletions

diff --git a/erts/emulator/test/big_SUITE_data/borders.dat b/erts/emulator/test/big_SUITE_data/borders.dat
new file mode 100644
index 0000000000..52e4f35861
--- /dev/null
+++ b/erts/emulator/test/big_SUITE_data/borders.dat
@@ -0,0 +1,1116 @@
+33554427 = 33554429 + (-2).
+-33554433 = -33554435 - (-2).
+33554428 = 33554429 + (-1).
+-33554434 = -33554435 - (-1).
+33554429 = 33554429 + 0.
+-33554435 = -33554435 - 0.
+33554430 = 33554429 + 1.
+-33554436 = -33554435 - 1.
+33554431 = 33554429 + 2.
+-33554437 = -33554435 - 2.
+33554432 = 33554429 + 3.
+-33554438 = -33554435 - 3.
+33554433 = 33554429 + 4.
+-33554439 = -33554435 - 4.
+33554434 = 33554429 + 5.
+-33554440 = -33554435 - 5.
+33554435 = 33554429 + 6.
+-33554441 = -33554435 - 6.
+33554428 = 33554430 + (-2).
+-33554432 = -33554434 - (-2).
+33554429 = 33554430 + (-1).
+-33554433 = -33554434 - (-1).
+33554430 = 33554430 + 0.
+-33554434 = -33554434 - 0.
+33554431 = 33554430 + 1.
+-33554435 = -33554434 - 1.
+33554432 = 33554430 + 2.
+-33554436 = -33554434 - 2.
+33554433 = 33554430 + 3.
+-33554437 = -33554434 - 3.
+33554434 = 33554430 + 4.
+-33554438 = -33554434 - 4.
+33554435 = 33554430 + 5.
+-33554439 = -33554434 - 5.
+33554436 = 33554430 + 6.
+-33554440 = -33554434 - 6.
+33554429 = 33554431 + (-2).
+-33554431 = -33554433 - (-2).
+33554430 = 33554431 + (-1).
+-33554432 = -33554433 - (-1).
+33554431 = 33554431 + 0.
+-33554433 = -33554433 - 0.
+33554432 = 33554431 + 1.
+-33554434 = -33554433 - 1.
+33554433 = 33554431 + 2.
+-33554435 = -33554433 - 2.
+33554434 = 33554431 + 3.
+-33554436 = -33554433 - 3.
+33554435 = 33554431 + 4.
+-33554437 = -33554433 - 4.
+33554436 = 33554431 + 5.
+-33554438 = -33554433 - 5.
+33554437 = 33554431 + 6.
+-33554439 = -33554433 - 6.
+33554430 = 33554432 + (-2).
+-33554430 = -33554432 - (-2).
+33554431 = 33554432 + (-1).
+-33554431 = -33554432 - (-1).
+33554432 = 33554432 + 0.
+-33554432 = -33554432 - 0.
+33554433 = 33554432 + 1.
+-33554433 = -33554432 - 1.
+33554434 = 33554432 + 2.
+-33554434 = -33554432 - 2.
+33554435 = 33554432 + 3.
+-33554435 = -33554432 - 3.
+33554436 = 33554432 + 4.
+-33554436 = -33554432 - 4.
+33554437 = 33554432 + 5.
+-33554437 = -33554432 - 5.
+33554438 = 33554432 + 6.
+-33554438 = -33554432 - 6.
+33554431 = 33554433 + (-2).
+-33554429 = -33554431 - (-2).
+33554432 = 33554433 + (-1).
+-33554430 = -33554431 - (-1).
+33554433 = 33554433 + 0.
+-33554431 = -33554431 - 0.
+33554434 = 33554433 + 1.
+-33554432 = -33554431 - 1.
+33554435 = 33554433 + 2.
+-33554433 = -33554431 - 2.
+33554436 = 33554433 + 3.
+-33554434 = -33554431 - 3.
+33554437 = 33554433 + 4.
+-33554435 = -33554431 - 4.
+33554438 = 33554433 + 5.
+-33554436 = -33554431 - 5.
+33554439 = 33554433 + 6.
+-33554437 = -33554431 - 6.
+33554432 = 33554434 + (-2).
+-33554428 = -33554430 - (-2).
+33554433 = 33554434 + (-1).
+-33554429 = -33554430 - (-1).
+33554434 = 33554434 + 0.
+-33554430 = -33554430 - 0.
+33554435 = 33554434 + 1.
+-33554431 = -33554430 - 1.
+33554436 = 33554434 + 2.
+-33554432 = -33554430 - 2.
+33554437 = 33554434 + 3.
+-33554433 = -33554430 - 3.
+33554438 = 33554434 + 4.
+-33554434 = -33554430 - 4.
+33554439 = 33554434 + 5.
+-33554435 = -33554430 - 5.
+33554440 = 33554434 + 6.
+-33554436 = -33554430 - 6.
+33554432 = 33554430 - (-2).
+-33554432 = -33554430 + (-2).
+33554431 = 33554430 - (-1).
+-33554431 = -33554430 + (-1).
+33554430 = 33554430 - 0.
+-33554430 = -33554430 + 0.
+33554429 = 33554430 - 1.
+-33554429 = -33554430 + 1.
+33554428 = 33554430 - 2.
+-33554428 = -33554430 + 2.
+33554427 = 33554430 - 3.
+-33554427 = -33554430 + 3.
+33554426 = 33554430 - 4.
+-33554426 = -33554430 + 4.
+33554425 = 33554430 - 5.
+-33554425 = -33554430 + 5.
+33554424 = 33554430 - 6.
+-33554424 = -33554430 + 6.
+33554433 = 33554431 - (-2).
+-33554433 = -33554431 + (-2).
+33554432 = 33554431 - (-1).
+-33554432 = -33554431 + (-1).
+33554431 = 33554431 - 0.
+-33554431 = -33554431 + 0.
+33554430 = 33554431 - 1.
+-33554430 = -33554431 + 1.
+33554429 = 33554431 - 2.
+-33554429 = -33554431 + 2.
+33554428 = 33554431 - 3.
+-33554428 = -33554431 + 3.
+33554427 = 33554431 - 4.
+-33554427 = -33554431 + 4.
+33554426 = 33554431 - 5.
+-33554426 = -33554431 + 5.
+33554425 = 33554431 - 6.
+-33554425 = -33554431 + 6.
+33554434 = 33554432 - (-2).
+-33554434 = -33554432 + (-2).
+33554433 = 33554432 - (-1).
+-33554433 = -33554432 + (-1).
+33554432 = 33554432 - 0.
+-33554432 = -33554432 + 0.
+33554431 = 33554432 - 1.
+-33554431 = -33554432 + 1.
+33554430 = 33554432 - 2.
+-33554430 = -33554432 + 2.
+33554429 = 33554432 - 3.
+-33554429 = -33554432 + 3.
+33554428 = 33554432 - 4.
+-33554428 = -33554432 + 4.
+33554427 = 33554432 - 5.
+-33554427 = -33554432 + 5.
+33554426 = 33554432 - 6.
+-33554426 = -33554432 + 6.
+33554435 = 33554433 - (-2).
+-33554435 = -33554433 + (-2).
+33554434 = 33554433 - (-1).
+-33554434 = -33554433 + (-1).
+33554433 = 33554433 - 0.
+-33554433 = -33554433 + 0.
+33554432 = 33554433 - 1.
+-33554432 = -33554433 + 1.
+33554431 = 33554433 - 2.
+-33554431 = -33554433 + 2.
+33554430 = 33554433 - 3.
+-33554430 = -33554433 + 3.
+33554429 = 33554433 - 4.
+-33554429 = -33554433 + 4.
+33554428 = 33554433 - 5.
+-33554428 = -33554433 + 5.
+33554427 = 33554433 - 6.
+-33554427 = -33554433 + 6.
+33554436 = 33554434 - (-2).
+-33554436 = -33554434 + (-2).
+33554435 = 33554434 - (-1).
+-33554435 = -33554434 + (-1).
+33554434 = 33554434 - 0.
+-33554434 = -33554434 + 0.
+33554433 = 33554434 - 1.
+-33554433 = -33554434 + 1.
+33554432 = 33554434 - 2.
+-33554432 = -33554434 + 2.
+33554431 = 33554434 - 3.
+-33554431 = -33554434 + 3.
+33554430 = 33554434 - 4.
+-33554430 = -33554434 + 4.
+33554429 = 33554434 - 5.
+-33554429 = -33554434 + 5.
+33554428 = 33554434 - 6.
+-33554428 = -33554434 + 6.
+33554437 = 33554435 - (-2).
+-33554437 = -33554435 + (-2).
+33554436 = 33554435 - (-1).
+-33554436 = -33554435 + (-1).
+33554435 = 33554435 - 0.
+-33554435 = -33554435 + 0.
+33554434 = 33554435 - 1.
+-33554434 = -33554435 + 1.
+33554433 = 33554435 - 2.
+-33554433 = -33554435 + 2.
+33554432 = 33554435 - 3.
+-33554432 = -33554435 + 3.
+33554431 = 33554435 - 4.
+-33554431 = -33554435 + 4.
+33554430 = 33554435 - 5.
+-33554430 = -33554435 + 5.
+33554429 = 33554435 - 6.
+-33554429 = -33554435 + 6.
+67108859 = 67108861 + (-2).
+-67108865 = -67108867 - (-2).
+67108860 = 67108861 + (-1).
+-67108866 = -67108867 - (-1).
+67108861 = 67108861 + 0.
+-67108867 = -67108867 - 0.
+67108862 = 67108861 + 1.
+-67108868 = -67108867 - 1.
+67108863 = 67108861 + 2.
+-67108869 = -67108867 - 2.
+67108864 = 67108861 + 3.
+-67108870 = -67108867 - 3.
+67108865 = 67108861 + 4.
+-67108871 = -67108867 - 4.
+67108866 = 67108861 + 5.
+-67108872 = -67108867 - 5.
+67108867 = 67108861 + 6.
+-67108873 = -67108867 - 6.
+67108860 = 67108862 + (-2).
+-67108864 = -67108866 - (-2).
+67108861 = 67108862 + (-1).
+-67108865 = -67108866 - (-1).
+67108862 = 67108862 + 0.
+-67108866 = -67108866 - 0.
+67108863 = 67108862 + 1.
+-67108867 = -67108866 - 1.
+67108864 = 67108862 + 2.
+-67108868 = -67108866 - 2.
+67108865 = 67108862 + 3.
+-67108869 = -67108866 - 3.
+67108866 = 67108862 + 4.
+-67108870 = -67108866 - 4.
+67108867 = 67108862 + 5.
+-67108871 = -67108866 - 5.
+67108868 = 67108862 + 6.
+-67108872 = -67108866 - 6.
+67108861 = 67108863 + (-2).
+-67108863 = -67108865 - (-2).
+67108862 = 67108863 + (-1).
+-67108864 = -67108865 - (-1).
+67108863 = 67108863 + 0.
+-67108865 = -67108865 - 0.
+67108864 = 67108863 + 1.
+-67108866 = -67108865 - 1.
+67108865 = 67108863 + 2.
+-67108867 = -67108865 - 2.
+67108866 = 67108863 + 3.
+-67108868 = -67108865 - 3.
+67108867 = 67108863 + 4.
+-67108869 = -67108865 - 4.
+67108868 = 67108863 + 5.
+-67108870 = -67108865 - 5.
+67108869 = 67108863 + 6.
+-67108871 = -67108865 - 6.
+67108862 = 67108864 + (-2).
+-67108862 = -67108864 - (-2).
+67108863 = 67108864 + (-1).
+-67108863 = -67108864 - (-1).
+67108864 = 67108864 + 0.
+-67108864 = -67108864 - 0.
+67108865 = 67108864 + 1.
+-67108865 = -67108864 - 1.
+67108866 = 67108864 + 2.
+-67108866 = -67108864 - 2.
+67108867 = 67108864 + 3.
+-67108867 = -67108864 - 3.
+67108868 = 67108864 + 4.
+-67108868 = -67108864 - 4.
+67108869 = 67108864 + 5.
+-67108869 = -67108864 - 5.
+67108870 = 67108864 + 6.
+-67108870 = -67108864 - 6.
+67108863 = 67108865 + (-2).
+-67108861 = -67108863 - (-2).
+67108864 = 67108865 + (-1).
+-67108862 = -67108863 - (-1).
+67108865 = 67108865 + 0.
+-67108863 = -67108863 - 0.
+67108866 = 67108865 + 1.
+-67108864 = -67108863 - 1.
+67108867 = 67108865 + 2.
+-67108865 = -67108863 - 2.
+67108868 = 67108865 + 3.
+-67108866 = -67108863 - 3.
+67108869 = 67108865 + 4.
+-67108867 = -67108863 - 4.
+67108870 = 67108865 + 5.
+-67108868 = -67108863 - 5.
+67108871 = 67108865 + 6.
+-67108869 = -67108863 - 6.
+67108864 = 67108866 + (-2).
+-67108860 = -67108862 - (-2).
+67108865 = 67108866 + (-1).
+-67108861 = -67108862 - (-1).
+67108866 = 67108866 + 0.
+-67108862 = -67108862 - 0.
+67108867 = 67108866 + 1.
+-67108863 = -67108862 - 1.
+67108868 = 67108866 + 2.
+-67108864 = -67108862 - 2.
+67108869 = 67108866 + 3.
+-67108865 = -67108862 - 3.
+67108870 = 67108866 + 4.
+-67108866 = -67108862 - 4.
+67108871 = 67108866 + 5.
+-67108867 = -67108862 - 5.
+67108872 = 67108866 + 6.
+-67108868 = -67108862 - 6.
+67108864 = 67108862 - (-2).
+-67108864 = -67108862 + (-2).
+67108863 = 67108862 - (-1).
+-67108863 = -67108862 + (-1).
+67108862 = 67108862 - 0.
+-67108862 = -67108862 + 0.
+67108861 = 67108862 - 1.
+-67108861 = -67108862 + 1.
+67108860 = 67108862 - 2.
+-67108860 = -67108862 + 2.
+67108859 = 67108862 - 3.
+-67108859 = -67108862 + 3.
+67108858 = 67108862 - 4.
+-67108858 = -67108862 + 4.
+67108857 = 67108862 - 5.
+-67108857 = -67108862 + 5.
+67108856 = 67108862 - 6.
+-67108856 = -67108862 + 6.
+67108865 = 67108863 - (-2).
+-67108865 = -67108863 + (-2).
+67108864 = 67108863 - (-1).
+-67108864 = -67108863 + (-1).
+67108863 = 67108863 - 0.
+-67108863 = -67108863 + 0.
+67108862 = 67108863 - 1.
+-67108862 = -67108863 + 1.
+67108861 = 67108863 - 2.
+-67108861 = -67108863 + 2.
+67108860 = 67108863 - 3.
+-67108860 = -67108863 + 3.
+67108859 = 67108863 - 4.
+-67108859 = -67108863 + 4.
+67108858 = 67108863 - 5.
+-67108858 = -67108863 + 5.
+67108857 = 67108863 - 6.
+-67108857 = -67108863 + 6.
+67108866 = 67108864 - (-2).
+-67108866 = -67108864 + (-2).
+67108865 = 67108864 - (-1).
+-67108865 = -67108864 + (-1).
+67108864 = 67108864 - 0.
+-67108864 = -67108864 + 0.
+67108863 = 67108864 - 1.
+-67108863 = -67108864 + 1.
+67108862 = 67108864 - 2.
+-67108862 = -67108864 + 2.
+67108861 = 67108864 - 3.
+-67108861 = -67108864 + 3.
+67108860 = 67108864 - 4.
+-67108860 = -67108864 + 4.
+67108859 = 67108864 - 5.
+-67108859 = -67108864 + 5.
+67108858 = 67108864 - 6.
+-67108858 = -67108864 + 6.
+67108867 = 67108865 - (-2).
+-67108867 = -67108865 + (-2).
+67108866 = 67108865 - (-1).
+-67108866 = -67108865 + (-1).
+67108865 = 67108865 - 0.
+-67108865 = -67108865 + 0.
+67108864 = 67108865 - 1.
+-67108864 = -67108865 + 1.
+67108863 = 67108865 - 2.
+-67108863 = -67108865 + 2.
+67108862 = 67108865 - 3.
+-67108862 = -67108865 + 3.
+67108861 = 67108865 - 4.
+-67108861 = -67108865 + 4.
+67108860 = 67108865 - 5.
+-67108860 = -67108865 + 5.
+67108859 = 67108865 - 6.
+-67108859 = -67108865 + 6.
+67108868 = 67108866 - (-2).
+-67108868 = -67108866 + (-2).
+67108867 = 67108866 - (-1).
+-67108867 = -67108866 + (-1).
+67108866 = 67108866 - 0.
+-67108866 = -67108866 + 0.
+67108865 = 67108866 - 1.
+-67108865 = -67108866 + 1.
+67108864 = 67108866 - 2.
+-67108864 = -67108866 + 2.
+67108863 = 67108866 - 3.
+-67108863 = -67108866 + 3.
+67108862 = 67108866 - 4.
+-67108862 = -67108866 + 4.
+67108861 = 67108866 - 5.
+-67108861 = -67108866 + 5.
+67108860 = 67108866 - 6.
+-67108860 = -67108866 + 6.
+67108869 = 67108867 - (-2).
+-67108869 = -67108867 + (-2).
+67108868 = 67108867 - (-1).
+-67108868 = -67108867 + (-1).
+67108867 = 67108867 - 0.
+-67108867 = -67108867 + 0.
+67108866 = 67108867 - 1.
+-67108866 = -67108867 + 1.
+67108865 = 67108867 - 2.
+-67108865 = -67108867 + 2.
+67108864 = 67108867 - 3.
+-67108864 = -67108867 + 3.
+67108863 = 67108867 - 4.
+-67108863 = -67108867 + 4.
+67108862 = 67108867 - 5.
+-67108862 = -67108867 + 5.
+67108861 = 67108867 - 6.
+-67108861 = -67108867 + 6.
+134217723 = 134217725 + (-2).
+-134217729 = -134217731 - (-2).
+134217724 = 134217725 + (-1).
+-134217730 = -134217731 - (-1).
+134217725 = 134217725 + 0.
+-134217731 = -134217731 - 0.
+134217726 = 134217725 + 1.
+-134217732 = -134217731 - 1.
+134217727 = 134217725 + 2.
+-134217733 = -134217731 - 2.
+134217728 = 134217725 + 3.
+-134217734 = -134217731 - 3.
+134217729 = 134217725 + 4.
+-134217735 = -134217731 - 4.
+134217730 = 134217725 + 5.
+-134217736 = -134217731 - 5.
+134217731 = 134217725 + 6.
+-134217737 = -134217731 - 6.
+134217724 = 134217726 + (-2).
+-134217728 = -134217730 - (-2).
+134217725 = 134217726 + (-1).
+-134217729 = -134217730 - (-1).
+134217726 = 134217726 + 0.
+-134217730 = -134217730 - 0.
+134217727 = 134217726 + 1.
+-134217731 = -134217730 - 1.
+134217728 = 134217726 + 2.
+-134217732 = -134217730 - 2.
+134217729 = 134217726 + 3.
+-134217733 = -134217730 - 3.
+134217730 = 134217726 + 4.
+-134217734 = -134217730 - 4.
+134217731 = 134217726 + 5.
+-134217735 = -134217730 - 5.
+134217732 = 134217726 + 6.
+-134217736 = -134217730 - 6.
+134217725 = 134217727 + (-2).
+-134217727 = -134217729 - (-2).
+134217726 = 134217727 + (-1).
+-134217728 = -134217729 - (-1).
+134217727 = 134217727 + 0.
+-134217729 = -134217729 - 0.
+134217728 = 134217727 + 1.
+-134217730 = -134217729 - 1.
+134217729 = 134217727 + 2.
+-134217731 = -134217729 - 2.
+134217730 = 134217727 + 3.
+-134217732 = -134217729 - 3.
+134217731 = 134217727 + 4.
+-134217733 = -134217729 - 4.
+134217732 = 134217727 + 5.
+-134217734 = -134217729 - 5.
+134217733 = 134217727 + 6.
+-134217735 = -134217729 - 6.
+134217726 = 134217728 + (-2).
+-134217726 = -134217728 - (-2).
+134217727 = 134217728 + (-1).
+-134217727 = -134217728 - (-1).
+134217728 = 134217728 + 0.
+-134217728 = -134217728 - 0.
+134217729 = 134217728 + 1.
+-134217729 = -134217728 - 1.
+134217730 = 134217728 + 2.
+-134217730 = -134217728 - 2.
+134217731 = 134217728 + 3.
+-134217731 = -134217728 - 3.
+134217732 = 134217728 + 4.
+-134217732 = -134217728 - 4.
+134217733 = 134217728 + 5.
+-134217733 = -134217728 - 5.
+134217734 = 134217728 + 6.
+-134217734 = -134217728 - 6.
+134217727 = 134217729 + (-2).
+-134217725 = -134217727 - (-2).
+134217728 = 134217729 + (-1).
+-134217726 = -134217727 - (-1).
+134217729 = 134217729 + 0.
+-134217727 = -134217727 - 0.
+134217730 = 134217729 + 1.
+-134217728 = -134217727 - 1.
+134217731 = 134217729 + 2.
+-134217729 = -134217727 - 2.
+134217732 = 134217729 + 3.
+-134217730 = -134217727 - 3.
+134217733 = 134217729 + 4.
+-134217731 = -134217727 - 4.
+134217734 = 134217729 + 5.
+-134217732 = -134217727 - 5.
+134217735 = 134217729 + 6.
+-134217733 = -134217727 - 6.
+134217728 = 134217730 + (-2).
+-134217724 = -134217726 - (-2).
+134217729 = 134217730 + (-1).
+-134217725 = -134217726 - (-1).
+134217730 = 134217730 + 0.
+-134217726 = -134217726 - 0.
+134217731 = 134217730 + 1.
+-134217727 = -134217726 - 1.
+134217732 = 134217730 + 2.
+-134217728 = -134217726 - 2.
+134217733 = 134217730 + 3.
+-134217729 = -134217726 - 3.
+134217734 = 134217730 + 4.
+-134217730 = -134217726 - 4.
+134217735 = 134217730 + 5.
+-134217731 = -134217726 - 5.
+134217736 = 134217730 + 6.
+-134217732 = -134217726 - 6.
+134217728 = 134217726 - (-2).
+-134217728 = -134217726 + (-2).
+134217727 = 134217726 - (-1).
+-134217727 = -134217726 + (-1).
+134217726 = 134217726 - 0.
+-134217726 = -134217726 + 0.
+134217725 = 134217726 - 1.
+-134217725 = -134217726 + 1.
+134217724 = 134217726 - 2.
+-134217724 = -134217726 + 2.
+134217723 = 134217726 - 3.
+-134217723 = -134217726 + 3.
+134217722 = 134217726 - 4.
+-134217722 = -134217726 + 4.
+134217721 = 134217726 - 5.
+-134217721 = -134217726 + 5.
+134217720 = 134217726 - 6.
+-134217720 = -134217726 + 6.
+134217729 = 134217727 - (-2).
+-134217729 = -134217727 + (-2).
+134217728 = 134217727 - (-1).
+-134217728 = -134217727 + (-1).
+134217727 = 134217727 - 0.
+-134217727 = -134217727 + 0.
+134217726 = 134217727 - 1.
+-134217726 = -134217727 + 1.
+134217725 = 134217727 - 2.
+-134217725 = -134217727 + 2.
+134217724 = 134217727 - 3.
+-134217724 = -134217727 + 3.
+134217723 = 134217727 - 4.
+-134217723 = -134217727 + 4.
+134217722 = 134217727 - 5.
+-134217722 = -134217727 + 5.
+134217721 = 134217727 - 6.
+-134217721 = -134217727 + 6.
+134217730 = 134217728 - (-2).
+-134217730 = -134217728 + (-2).
+134217729 = 134217728 - (-1).
+-134217729 = -134217728 + (-1).
+134217728 = 134217728 - 0.
+-134217728 = -134217728 + 0.
+134217727 = 134217728 - 1.
+-134217727 = -134217728 + 1.
+134217726 = 134217728 - 2.
+-134217726 = -134217728 + 2.
+134217725 = 134217728 - 3.
+-134217725 = -134217728 + 3.
+134217724 = 134217728 - 4.
+-134217724 = -134217728 + 4.
+134217723 = 134217728 - 5.
+-134217723 = -134217728 + 5.
+134217722 = 134217728 - 6.
+-134217722 = -134217728 + 6.
+134217731 = 134217729 - (-2).
+-134217731 = -134217729 + (-2).
+134217730 = 134217729 - (-1).
+-134217730 = -134217729 + (-1).
+134217729 = 134217729 - 0.
+-134217729 = -134217729 + 0.
+134217728 = 134217729 - 1.
+-134217728 = -134217729 + 1.
+134217727 = 134217729 - 2.
+-134217727 = -134217729 + 2.
+134217726 = 134217729 - 3.
+-134217726 = -134217729 + 3.
+134217725 = 134217729 - 4.
+-134217725 = -134217729 + 4.
+134217724 = 134217729 - 5.
+-134217724 = -134217729 + 5.
+134217723 = 134217729 - 6.
+-134217723 = -134217729 + 6.
+134217732 = 134217730 - (-2).
+-134217732 = -134217730 + (-2).
+134217731 = 134217730 - (-1).
+-134217731 = -134217730 + (-1).
+134217730 = 134217730 - 0.
+-134217730 = -134217730 + 0.
+134217729 = 134217730 - 1.
+-134217729 = -134217730 + 1.
+134217728 = 134217730 - 2.
+-134217728 = -134217730 + 2.
+134217727 = 134217730 - 3.
+-134217727 = -134217730 + 3.
+134217726 = 134217730 - 4.
+-134217726 = -134217730 + 4.
+134217725 = 134217730 - 5.
+-134217725 = -134217730 + 5.
+134217724 = 134217730 - 6.
+-134217724 = -134217730 + 6.
+134217733 = 134217731 - (-2).
+-134217733 = -134217731 + (-2).
+134217732 = 134217731 - (-1).
+-134217732 = -134217731 + (-1).
+134217731 = 134217731 - 0.
+-134217731 = -134217731 + 0.
+134217730 = 134217731 - 1.
+-134217730 = -134217731 + 1.
+134217729 = 134217731 - 2.
+-134217729 = -134217731 + 2.
+134217728 = 134217731 - 3.
+-134217728 = -134217731 + 3.
+134217727 = 134217731 - 4.
+-134217727 = -134217731 + 4.
+134217726 = 134217731 - 5.
+-134217726 = -134217731 + 5.
+134217725 = 134217731 - 6.
+-134217725 = -134217731 + 6.
+268435451 = 268435453 + (-2).
+-268435457 = -268435459 - (-2).
+268435452 = 268435453 + (-1).
+-268435458 = -268435459 - (-1).
+268435453 = 268435453 + 0.
+-268435459 = -268435459 - 0.
+268435454 = 268435453 + 1.
+-268435460 = -268435459 - 1.
+268435455 = 268435453 + 2.
+-268435461 = -268435459 - 2.
+268435456 = 268435453 + 3.
+-268435462 = -268435459 - 3.
+268435457 = 268435453 + 4.
+-268435463 = -268435459 - 4.
+268435458 = 268435453 + 5.
+-268435464 = -268435459 - 5.
+268435459 = 268435453 + 6.
+-268435465 = -268435459 - 6.
+268435452 = 268435454 + (-2).
+-268435456 = -268435458 - (-2).
+268435453 = 268435454 + (-1).
+-268435457 = -268435458 - (-1).
+268435454 = 268435454 + 0.
+-268435458 = -268435458 - 0.
+268435455 = 268435454 + 1.
+-268435459 = -268435458 - 1.
+268435456 = 268435454 + 2.
+-268435460 = -268435458 - 2.
+268435457 = 268435454 + 3.
+-268435461 = -268435458 - 3.
+268435458 = 268435454 + 4.
+-268435462 = -268435458 - 4.
+268435459 = 268435454 + 5.
+-268435463 = -268435458 - 5.
+268435460 = 268435454 + 6.
+-268435464 = -268435458 - 6.
+268435453 = 268435455 + (-2).
+-268435455 = -268435457 - (-2).
+268435454 = 268435455 + (-1).
+-268435456 = -268435457 - (-1).
+268435455 = 268435455 + 0.
+-268435457 = -268435457 - 0.
+268435456 = 268435455 + 1.
+-268435458 = -268435457 - 1.
+268435457 = 268435455 + 2.
+-268435459 = -268435457 - 2.
+268435458 = 268435455 + 3.
+-268435460 = -268435457 - 3.
+268435459 = 268435455 + 4.
+-268435461 = -268435457 - 4.
+268435460 = 268435455 + 5.
+-268435462 = -268435457 - 5.
+268435461 = 268435455 + 6.
+-268435463 = -268435457 - 6.
+268435454 = 268435456 + (-2).
+-268435454 = -268435456 - (-2).
+268435455 = 268435456 + (-1).
+-268435455 = -268435456 - (-1).
+268435456 = 268435456 + 0.
+-268435456 = -268435456 - 0.
+268435457 = 268435456 + 1.
+-268435457 = -268435456 - 1.
+268435458 = 268435456 + 2.
+-268435458 = -268435456 - 2.
+268435459 = 268435456 + 3.
+-268435459 = -268435456 - 3.
+268435460 = 268435456 + 4.
+-268435460 = -268435456 - 4.
+268435461 = 268435456 + 5.
+-268435461 = -268435456 - 5.
+268435462 = 268435456 + 6.
+-268435462 = -268435456 - 6.
+268435455 = 268435457 + (-2).
+-268435453 = -268435455 - (-2).
+268435456 = 268435457 + (-1).
+-268435454 = -268435455 - (-1).
+268435457 = 268435457 + 0.
+-268435455 = -268435455 - 0.
+268435458 = 268435457 + 1.
+-268435456 = -268435455 - 1.
+268435459 = 268435457 + 2.
+-268435457 = -268435455 - 2.
+268435460 = 268435457 + 3.
+-268435458 = -268435455 - 3.
+268435461 = 268435457 + 4.
+-268435459 = -268435455 - 4.
+268435462 = 268435457 + 5.
+-268435460 = -268435455 - 5.
+268435463 = 268435457 + 6.
+-268435461 = -268435455 - 6.
+268435456 = 268435458 + (-2).
+-268435452 = -268435454 - (-2).
+268435457 = 268435458 + (-1).
+-268435453 = -268435454 - (-1).
+268435458 = 268435458 + 0.
+-268435454 = -268435454 - 0.
+268435459 = 268435458 + 1.
+-268435455 = -268435454 - 1.
+268435460 = 268435458 + 2.
+-268435456 = -268435454 - 2.
+268435461 = 268435458 + 3.
+-268435457 = -268435454 - 3.
+268435462 = 268435458 + 4.
+-268435458 = -268435454 - 4.
+268435463 = 268435458 + 5.
+-268435459 = -268435454 - 5.
+268435464 = 268435458 + 6.
+-268435460 = -268435454 - 6.
+268435456 = 268435454 - (-2).
+-268435456 = -268435454 + (-2).
+268435455 = 268435454 - (-1).
+-268435455 = -268435454 + (-1).
+268435454 = 268435454 - 0.
+-268435454 = -268435454 + 0.
+268435453 = 268435454 - 1.
+-268435453 = -268435454 + 1.
+268435452 = 268435454 - 2.
+-268435452 = -268435454 + 2.
+268435451 = 268435454 - 3.
+-268435451 = -268435454 + 3.
+268435450 = 268435454 - 4.
+-268435450 = -268435454 + 4.
+268435449 = 268435454 - 5.
+-268435449 = -268435454 + 5.
+268435448 = 268435454 - 6.
+-268435448 = -268435454 + 6.
+268435457 = 268435455 - (-2).
+-268435457 = -268435455 + (-2).
+268435456 = 268435455 - (-1).
+-268435456 = -268435455 + (-1).
+268435455 = 268435455 - 0.
+-268435455 = -268435455 + 0.
+268435454 = 268435455 - 1.
+-268435454 = -268435455 + 1.
+268435453 = 268435455 - 2.
+-268435453 = -268435455 + 2.
+268435452 = 268435455 - 3.
+-268435452 = -268435455 + 3.
+268435451 = 268435455 - 4.
+-268435451 = -268435455 + 4.
+268435450 = 268435455 - 5.
+-268435450 = -268435455 + 5.
+268435449 = 268435455 - 6.
+-268435449 = -268435455 + 6.
+268435458 = 268435456 - (-2).
+-268435458 = -268435456 + (-2).
+268435457 = 268435456 - (-1).
+-268435457 = -268435456 + (-1).
+268435456 = 268435456 - 0.
+-268435456 = -268435456 + 0.
+268435455 = 268435456 - 1.
+-268435455 = -268435456 + 1.
+268435454 = 268435456 - 2.
+-268435454 = -268435456 + 2.
+268435453 = 268435456 - 3.
+-268435453 = -268435456 + 3.
+268435452 = 268435456 - 4.
+-268435452 = -268435456 + 4.
+268435451 = 268435456 - 5.
+-268435451 = -268435456 + 5.
+268435450 = 268435456 - 6.
+-268435450 = -268435456 + 6.
+268435459 = 268435457 - (-2).
+-268435459 = -268435457 + (-2).
+268435458 = 268435457 - (-1).
+-268435458 = -268435457 + (-1).
+268435457 = 268435457 - 0.
+-268435457 = -268435457 + 0.
+268435456 = 268435457 - 1.
+-268435456 = -268435457 + 1.
+268435455 = 268435457 - 2.
+-268435455 = -268435457 + 2.
+268435454 = 268435457 - 3.
+-268435454 = -268435457 + 3.
+268435453 = 268435457 - 4.
+-268435453 = -268435457 + 4.
+268435452 = 268435457 - 5.
+-268435452 = -268435457 + 5.
+268435451 = 268435457 - 6.
+-268435451 = -268435457 + 6.
+268435460 = 268435458 - (-2).
+-268435460 = -268435458 + (-2).
+268435459 = 268435458 - (-1).
+-268435459 = -268435458 + (-1).
+268435458 = 268435458 - 0.
+-268435458 = -268435458 + 0.
+268435457 = 268435458 - 1.
+-268435457 = -268435458 + 1.
+268435456 = 268435458 - 2.
+-268435456 = -268435458 + 2.
+268435455 = 268435458 - 3.
+-268435455 = -268435458 + 3.
+268435454 = 268435458 - 4.
+-268435454 = -268435458 + 4.
+268435453 = 268435458 - 5.
+-268435453 = -268435458 + 5.
+268435452 = 268435458 - 6.
+-268435452 = -268435458 + 6.
+268435461 = 268435459 - (-2).
+-268435461 = -268435459 + (-2).
+268435460 = 268435459 - (-1).
+-268435460 = -268435459 + (-1).
+268435459 = 268435459 - 0.
+-268435459 = -268435459 + 0.
+268435458 = 268435459 - 1.
+-268435458 = -268435459 + 1.
+268435457 = 268435459 - 2.
+-268435457 = -268435459 + 2.
+268435456 = 268435459 - 3.
+-268435456 = -268435459 + 3.
+268435455 = 268435459 - 4.
+-268435455 = -268435459 + 4.
+268435454 = 268435459 - 5.
+-268435454 = -268435459 + 5.
+268435453 = 268435459 - 6.
+-268435453 = -268435459 + 6.
+536870907 = 536870909 + (-2).
+-536870913 = -536870915 - (-2).
+536870908 = 536870909 + (-1).
+-536870914 = -536870915 - (-1).
+536870909 = 536870909 + 0.
+-536870915 = -536870915 - 0.
+536870910 = 536870909 + 1.
+-536870916 = -536870915 - 1.
+536870911 = 536870909 + 2.
+-536870917 = -536870915 - 2.
+536870912 = 536870909 + 3.
+-536870918 = -536870915 - 3.
+536870913 = 536870909 + 4.
+-536870919 = -536870915 - 4.
+536870914 = 536870909 + 5.
+-536870920 = -536870915 - 5.
+536870915 = 536870909 + 6.
+-536870921 = -536870915 - 6.
+536870908 = 536870910 + (-2).
+-536870912 = -536870914 - (-2).
+536870909 = 536870910 + (-1).
+-536870913 = -536870914 - (-1).
+536870910 = 536870910 + 0.
+-536870914 = -536870914 - 0.
+536870911 = 536870910 + 1.
+-536870915 = -536870914 - 1.
+536870912 = 536870910 + 2.
+-536870916 = -536870914 - 2.
+536870913 = 536870910 + 3.
+-536870917 = -536870914 - 3.
+536870914 = 536870910 + 4.
+-536870918 = -536870914 - 4.
+536870915 = 536870910 + 5.
+-536870919 = -536870914 - 5.
+536870916 = 536870910 + 6.
+-536870920 = -536870914 - 6.
+536870909 = 536870911 + (-2).
+-536870911 = -536870913 - (-2).
+536870910 = 536870911 + (-1).
+-536870912 = -536870913 - (-1).
+536870911 = 536870911 + 0.
+-536870913 = -536870913 - 0.
+536870912 = 536870911 + 1.
+-536870914 = -536870913 - 1.
+536870913 = 536870911 + 2.
+-536870915 = -536870913 - 2.
+536870914 = 536870911 + 3.
+-536870916 = -536870913 - 3.
+536870915 = 536870911 + 4.
+-536870917 = -536870913 - 4.
+536870916 = 536870911 + 5.
+-536870918 = -536870913 - 5.
+536870917 = 536870911 + 6.
+-536870919 = -536870913 - 6.
+536870910 = 536870912 + (-2).
+-536870910 = -536870912 - (-2).
+536870911 = 536870912 + (-1).
+-536870911 = -536870912 - (-1).
+536870912 = 536870912 + 0.
+-536870912 = -536870912 - 0.
+536870913 = 536870912 + 1.
+-536870913 = -536870912 - 1.
+536870914 = 536870912 + 2.
+-536870914 = -536870912 - 2.
+536870915 = 536870912 + 3.
+-536870915 = -536870912 - 3.
+536870916 = 536870912 + 4.
+-536870916 = -536870912 - 4.
+536870917 = 536870912 + 5.
+-536870917 = -536870912 - 5.
+536870918 = 536870912 + 6.
+-536870918 = -536870912 - 6.
+536870911 = 536870913 + (-2).
+-536870909 = -536870911 - (-2).
+536870912 = 536870913 + (-1).
+-536870910 = -536870911 - (-1).
+536870913 = 536870913 + 0.
+-536870911 = -536870911 - 0.
+536870914 = 536870913 + 1.
+-536870912 = -536870911 - 1.
+536870915 = 536870913 + 2.
+-536870913 = -536870911 - 2.
+536870916 = 536870913 + 3.
+-536870914 = -536870911 - 3.
+536870917 = 536870913 + 4.
+-536870915 = -536870911 - 4.
+536870918 = 536870913 + 5.
+-536870916 = -536870911 - 5.
+536870919 = 536870913 + 6.
+-536870917 = -536870911 - 6.
+536870912 = 536870914 + (-2).
+-536870908 = -536870910 - (-2).
+536870913 = 536870914 + (-1).
+-536870909 = -536870910 - (-1).
+536870914 = 536870914 + 0.
+-536870910 = -536870910 - 0.
+536870915 = 536870914 + 1.
+-536870911 = -536870910 - 1.
+536870916 = 536870914 + 2.
+-536870912 = -536870910 - 2.
+536870917 = 536870914 + 3.
+-536870913 = -536870910 - 3.
+536870918 = 536870914 + 4.
+-536870914 = -536870910 - 4.
+536870919 = 536870914 + 5.
+-536870915 = -536870910 - 5.
+536870920 = 536870914 + 6.
+-536870916 = -536870910 - 6.
+536870912 = 536870910 - (-2).
+-536870912 = -536870910 + (-2).
+536870911 = 536870910 - (-1).
+-536870911 = -536870910 + (-1).
+536870910 = 536870910 - 0.
+-536870910 = -536870910 + 0.
+536870909 = 536870910 - 1.
+-536870909 = -536870910 + 1.
+536870908 = 536870910 - 2.
+-536870908 = -536870910 + 2.
+536870907 = 536870910 - 3.
+-536870907 = -536870910 + 3.
+536870906 = 536870910 - 4.
+-536870906 = -536870910 + 4.
+536870905 = 536870910 - 5.
+-536870905 = -536870910 + 5.
+536870904 = 536870910 - 6.
+-536870904 = -536870910 + 6.
+536870913 = 536870911 - (-2).
+-536870913 = -536870911 + (-2).
+536870912 = 536870911 - (-1).
+-536870912 = -536870911 + (-1).
+536870911 = 536870911 - 0.
+-536870911 = -536870911 + 0.
+536870910 = 536870911 - 1.
+-536870910 = -536870911 + 1.
+536870909 = 536870911 - 2.
+-536870909 = -536870911 + 2.
+536870908 = 536870911 - 3.
+-536870908 = -536870911 + 3.
+536870907 = 536870911 - 4.
+-536870907 = -536870911 + 4.
+536870906 = 536870911 - 5.
+-536870906 = -536870911 + 5.
+536870905 = 536870911 - 6.
+-536870905 = -536870911 + 6.
+536870914 = 536870912 - (-2).
+-536870914 = -536870912 + (-2).
+536870913 = 536870912 - (-1).
+-536870913 = -536870912 + (-1).
+536870912 = 536870912 - 0.
+-536870912 = -536870912 + 0.
+536870911 = 536870912 - 1.
+-536870911 = -536870912 + 1.
+536870910 = 536870912 - 2.
+-536870910 = -536870912 + 2.
+536870909 = 536870912 - 3.
+-536870909 = -536870912 + 3.
+536870908 = 536870912 - 4.
+-536870908 = -536870912 + 4.
+536870907 = 536870912 - 5.
+-536870907 = -536870912 + 5.
+536870906 = 536870912 - 6.
+-536870906 = -536870912 + 6.
+536870915 = 536870913 - (-2).
+-536870915 = -536870913 + (-2).
+536870914 = 536870913 - (-1).
+-536870914 = -536870913 + (-1).
+536870913 = 536870913 - 0.
+-536870913 = -536870913 + 0.
+536870912 = 536870913 - 1.
+-536870912 = -536870913 + 1.
+536870911 = 536870913 - 2.
+-536870911 = -536870913 + 2.
+536870910 = 536870913 - 3.
+-536870910 = -536870913 + 3.
+536870909 = 536870913 - 4.
+-536870909 = -536870913 + 4.
+536870908 = 536870913 - 5.
+-536870908 = -536870913 + 5.
+536870907 = 536870913 - 6.
+-536870907 = -536870913 + 6.
+536870916 = 536870914 - (-2).
+-536870916 = -536870914 + (-2).
+536870915 = 536870914 - (-1).
+-536870915 = -536870914 + (-1).
+536870914 = 536870914 - 0.
+-536870914 = -536870914 + 0.
+536870913 = 536870914 - 1.
+-536870913 = -536870914 + 1.
+536870912 = 536870914 - 2.
+-536870912 = -536870914 + 2.
+536870911 = 536870914 - 3.
+-536870911 = -536870914 + 3.
+536870910 = 536870914 - 4.
+-536870910 = -536870914 + 4.
+536870909 = 536870914 - 5.
+-536870909 = -536870914 + 5.
+536870908 = 536870914 - 6.
+-536870908 = -536870914 + 6.
+536870917 = 536870915 - (-2).
+-536870917 = -536870915 + (-2).
+536870916 = 536870915 - (-1).
+-536870916 = -536870915 + (-1).
+536870915 = 536870915 - 0.
+-536870915 = -536870915 + 0.
+536870914 = 536870915 - 1.
+-536870914 = -536870915 + 1.
+536870913 = 536870915 - 2.
+-536870913 = -536870915 + 2.
+536870912 = 536870915 - 3.
+-536870912 = -536870915 + 3.
+536870911 = 536870915 - 4.
+-536870911 = -536870915 + 4.
+536870910 = 536870915 - 5.
+-536870910 = -536870915 + 5.
+536870909 = 536870915 - 6.
+-536870909 = -536870915 + 6.
+
+%% Thanks to Mikael Pettersson. Most negative fixnum (for 32/64 bits architecture).
+16#8000000 = -16#8000000 div (-1).
+16#8000000 = -16#8000000 * (-1).
+16#8000000 = 0 - (-16#8000000).
+16#800000000000000 = -16#800000000000000 div (-1).
+16#800000000000000 = -16#800000000000000 * (-1).
+16#800000000000000 = 0 - (-16#800000000000000).
+
+%% The absolute valute of the most negative fixnum used in all combinations.
+1 = -16#8000000 div (-16#8000000).
+1 = 16#8000000 div 16#8000000.
+-1 = -16#8000000 div 16#8000000.
+-1 = 16#8000000 div (-16#8000000).
+1 = -16#800000000000000 div (-16#800000000000000).
+1 = 16#800000000000000 div 16#800000000000000.
+-1 = -16#800000000000000 div 16#800000000000000.
+-1 = 16#800000000000000 div (-16#800000000000000).
+0 = -16#8000000 rem (-16#8000000).
+0 = 16#8000000 rem 16#8000000.
+0 = -16#8000000 rem 16#8000000.
+0 = 16#8000000 rem (-16#8000000).
+0 = -16#800000000000000 rem (-16#800000000000000).
+0 = 16#800000000000000 rem 16#800000000000000.
+0 = -16#800000000000000 rem 16#800000000000000.
+0 = 16#800000000000000 rem (-16#800000000000000).
+
+%% More border values regarding rem...
+-16#8000000 = -16#8000000 rem (-16#8000001).
+-16#8000000 = -16#8000000 rem 16#8000001.
+1 = 16#8000001 rem (-16#8000000).
+-16#800000000000000 = -16#800000000000000 rem (-16#800000000000001).
+-16#800000000000000 = -16#800000000000000 rem 16#800000000000001.
+1 = 16#800000000000001 rem (-16#800000000000000).
+0 = 16#FFFFFFFFFFFFFFF800000000 rem 16#FFFFFFFFFFFFFFF80.
+