From 84adefa331c4159d432d22840663c38f155cd4c1 Mon Sep 17 00:00:00 2001 From: Erlang/OTP Date: Fri, 20 Nov 2009 14:54:40 +0000 Subject: The R13B03 release. --- erts/emulator/test/big_SUITE_data/borders.dat | 1116 +++++++++++++++++++++++++ 1 file changed, 1116 insertions(+) create mode 100644 erts/emulator/test/big_SUITE_data/borders.dat (limited to 'erts/emulator/test/big_SUITE_data/borders.dat') 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. + -- cgit v1.2.3