(for PR #26864)
2024-11-13 14:04.19: New job: test decimal.0.1.1 with ocamlfind.1.9.7, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/26864/head (1fe86a030d1aa680aac111c48a41dca97d43900a)
on debian-12-ocaml-5.2/amd64
To reproduce locally:
cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/26864/head" && git reset --hard 1fe86a03
git fetch origin master
git merge --no-edit d4c6a480805e2a9eafb47afe89128b65244cbdac
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-5.2@sha256:97dd257b926d59082f42100b80c9d7084f8083bb3eb4b438ade497f908676f86
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-dev /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
ENV OPAMSOLVERTIMEOUT="1000"
ENV OPAMPRECISETRACKING="1"
ENV CI="true"
ENV OPAM_REPO_CI="true"
RUN rm -rf opam-repository/
COPY --chown=1000:1000 . opam-repository/
RUN opam repository set-url --strict default opam-repository/
RUN opam update --depexts || true
RUN opam pin add -k version -yn ocamlfind.1.9.7 1.9.7
RUN opam reinstall ocamlfind.1.9.7; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-12\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'ocamlfind.1.9.7' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN opam option solver=builtin-0install
RUN opam reinstall decimal.0.1.1; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-12\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'decimal.0.1.1' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN opam option solver=builtin-0install
RUN (opam reinstall --with-test decimal.0.1.1) || true
RUN opam reinstall --with-test --verbose decimal.0.1.1; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-12\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'decimal.0.1.1' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
END-OF-DOCKERFILE
docker build -f ../Dockerfile .
2024-11-13 14:04.19: Using cache hint "ocaml/opam:debian-12-ocaml-5.2@sha256:97dd257b926d59082f42100b80c9d7084f8083bb3eb4b438ade497f908676f86-ocamlfind.1.9.7-decimal.0.1.1-1fe86a030d1aa680aac111c48a41dca97d43900a"
2024-11-13 14:04.19: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-5.2@sha256:97dd257b926d59082f42100b80c9d7084f8083bb3eb4b438ade497f908676f86)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
(run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
(env OPAMDOWNLOADJOBS 1)
(env OPAMERRLOGLEN 0)
(env OPAMSOLVERTIMEOUT 1000)
(env OPAMPRECISETRACKING 1)
(env CI true)
(env OPAM_REPO_CI true)
(run (shell "rm -rf opam-repository/"))
(copy (src .) (dst opam-repository/))
(run (shell "opam repository set-url --strict default opam-repository/"))
(run (network host)
(shell "opam update --depexts || true"))
(run (shell "opam pin add -k version -yn ocamlfind.1.9.7 1.9.7"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall ocamlfind.1.9.7;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'ocamlfind.1.9.7' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (shell "opam option solver=builtin-0install"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall decimal.0.1.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'decimal.0.1.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (shell "opam option solver=builtin-0install"))
(run (network host)
(shell "(opam reinstall --with-test decimal.0.1.1) || true"))
(run (shell "opam reinstall --with-test --verbose decimal.0.1.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'decimal.0.1.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2024-11-13 14:04.19: Waiting for resource in pool OCluster
2024-11-13 21:01.09: Waiting for worker…
2024-11-13 21:03.21: Got resource from pool OCluster
Building on x86-bm-c13.sw.ocaml.org
All commits already cached
Updating files: 58% (18988/32662)
Updating files: 59% (19271/32662)
Updating files: 60% (19598/32662)
Updating files: 61% (19924/32662)
Updating files: 62% (20251/32662)
Updating files: 63% (20578/32662)
Updating files: 64% (20904/32662)
Updating files: 65% (21231/32662)
Updating files: 66% (21557/32662)
Updating files: 67% (21884/32662)
Updating files: 68% (22211/32662)
Updating files: 69% (22537/32662)
Updating files: 70% (22864/32662)
Updating files: 71% (23191/32662)
Updating files: 72% (23517/32662)
Updating files: 73% (23844/32662)
Updating files: 74% (24170/32662)
Updating files: 75% (24497/32662)
Updating files: 76% (24824/32662)
Updating files: 77% (25150/32662)
Updating files: 78% (25477/32662)
Updating files: 79% (25803/32662)
Updating files: 80% (26130/32662)
Updating files: 81% (26457/32662)
Updating files: 82% (26783/32662)
Updating files: 83% (27110/32662)
Updating files: 84% (27437/32662)
Updating files: 85% (27763/32662)
Updating files: 86% (28090/32662)
Updating files: 87% (28416/32662)
Updating files: 88% (28743/32662)
Updating files: 89% (29070/32662)
Updating files: 90% (29396/32662)
Updating files: 91% (29723/32662)
Updating files: 92% (30050/32662)
Updating files: 93% (30376/32662)
Updating files: 94% (30703/32662)
Updating files: 95% (31029/32662)
Updating files: 96% (31356/32662)
Updating files: 97% (31683/32662)
Updating files: 98% (32009/32662)
Updating files: 99% (32336/32662)
Updating files: 100% (32662/32662)
Updating files: 100% (32662/32662), done.
HEAD is now at d4c6a48080 Merge pull request #26854 from balat/opam-publish-ocsigen-toolkit.4.1.0
Merge made by the 'ort' strategy.
packages/ocamlfind/ocamlfind.1.9.7/opam | 44 +++++++++++++++++++++++++++++++++
1 file changed, 44 insertions(+)
create mode 100644 packages/ocamlfind/ocamlfind.1.9.7/opam
(from ocaml/opam:debian-12-ocaml-5.2@sha256:97dd257b926d59082f42100b80c9d7084f8083bb3eb4b438ade497f908676f86)
Unable to find image 'ocaml/opam:debian-12-ocaml-5.2@sha256:97dd257b926d59082f42100b80c9d7084f8083bb3eb4b438ade497f908676f86' locally
docker.io/ocaml/opam@sha256:97dd257b926d59082f42100b80c9d7084f8083bb3eb4b438ade497f908676f86: Pulling from ocaml/opam
0c592cb153ab: Pulling fs layer
0c592cb153ab: Verifying Checksum
0c592cb153ab: Download complete
0c592cb153ab: Pull complete
Digest: sha256:97dd257b926d59082f42100b80c9d7084f8083bb3eb4b438ade497f908676f86
Status: Downloaded newer image for ocaml/opam@sha256:97dd257b926d59082f42100b80c9d7084f8083bb3eb4b438ade497f908676f86
2024-11-13 21:03.33 ---> using "98353706d601dd4b27d8aa833091be13566ab311784d3187c428fa6ab0467d91" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2024-11-13 21:03.33 ---> using "a67aa45b00a8ea2c1599a278c3267fd59963226ccd426a0fa8429d59e0d5748d" from cache
/home/opam: (run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.
Continue? [y/n] y
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2024-11-13 21:03.33 ---> using "f2fee08455cb92c5fb90ae595e148292c3f18882de9f353dd598a31d42f4e974" from cache
/home/opam: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 5.15.0-122-generic
The OCaml toplevel, version 5.2.0
2.4.0~alpha1~dev
2024-11-13 21:03.33 ---> using "c7e14b1055864da701579d291659f01cf0fb5bb151ed6aa56d89d23cd7a86696" from cache
/home/opam: (env OPAMDOWNLOADJOBS 1)
/home/opam: (env OPAMERRLOGLEN 0)
/home/opam: (env OPAMSOLVERTIMEOUT 1000)
/home/opam: (env OPAMPRECISETRACKING 1)
/home/opam: (env CI true)
/home/opam: (env OPAM_REPO_CI true)
/home/opam: (run (shell "rm -rf opam-repository/"))
2024-11-13 21:03.33 ---> using "b1f88b1b15421ece257d4081bfded19a182ae791c30f2a3fcdcfcdda31274243" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2024-11-13 21:03.35 ---> using "02cc592c7e11e58a47f0a5af7fe30955c540cb10417eeda1ce7ff64bc6d735c4" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2024-11-13 21:03.35 ---> using "78ece563d34202536b064623e4f70440dadc32779813b5c641cc62e79a46f72b" from cache
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian bookworm InRelease
- Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB]
- Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB]
- Get:4 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [204 kB]
- Fetched 307 kB in 0s (1043 kB/s)
- Reading package lists...
2024-11-13 21:03.35 ---> using "3ba2e16947436fc2aaf62f52d87c33dc6bd9b3e4597925e8ef8aac0e1d2fa400" from cache
/home/opam: (run (shell "opam pin add -k version -yn ocamlfind.1.9.7 1.9.7"))
ocamlfind is now pinned to version 1.9.7
2024-11-13 21:03.35 ---> using "f5afaca18bb735b729e661ca8fe53ace7c8a84d12b5400a8b7f14ea5ef30f826" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall ocamlfind.1.9.7;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'ocamlfind.1.9.7' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
ocamlfind.1.9.7 is not installed. Install it? [y/n] y
The following actions will be performed:
=== install 1 package
- install ocamlfind 1.9.7 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocamlfind.1.9.7 (cached)
-> installed ocamlfind.1.9.7
Done.
# To update the current shell environment, run: eval $(opam env)
2024-11-13 21:03.35 ---> using "aea3a3f709ab7f1e0fac24c4becdaf4c4023f8fa922879dcdb9b1f867f3ab6f8" from cache
/home/opam: (run (shell "opam option solver=builtin-0install"))
Set to 'builtin-0install' the field solver in global configuration
2024-11-13 21:03.35 ---> using "e24cd59995f7c8162cacd9b6733e806d6009acb5f48a8a73e3da311f2cae20e5" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall decimal.0.1.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'decimal.0.1.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
decimal.0.1.1 is not installed. Install it? [y/n] y
The following actions will be performed:
=== install 5 packages
- install conf-gmp 4 [required by zarith]
- install conf-pkg-config 3 [required by zarith]
- install decimal 0.1.1
- install dune 3.16.1 [required by decimal]
- install zarith 1.14 [required by decimal]
The following system packages will first need to be installed:
libgmp-dev pkg-config
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
4. Abort the installation
[1/2/3/4] 1
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev" "pkg-config"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 18776 files and directories currently installed.)
- Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../1-libgmp-dev_2%3a6.2.1+dfsg1-1.1_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../2-libpkgconf3_1.8.1-1_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../3-pkgconf-bin_1.8.1-1_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-1) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../4-pkgconf_1.8.1-1_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../5-pkg-config_1.8.1-1_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-1) ...
- Setting up libpkgconf3:amd64 (1.8.1-1) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up pkgconf-bin (1.8.1-1) ...
- Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up pkgconf:amd64 (1.8.1-1) ...
- Setting up pkg-config:amd64 (1.8.1-1) ...
- Processing triggers for libc-bin (2.36-9+deb12u9) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved conf-gmp.4 (cached)
-> retrieved decimal.0.1.1 (cached)
-> installed conf-pkg-config.3
-> installed conf-gmp.4
-> retrieved dune.3.16.1 (cached)
-> retrieved zarith.1.14 (cached)
-> installed zarith.1.14
-> installed dune.3.16.1
-> installed decimal.0.1.1
Done.
# To update the current shell environment, run: eval $(opam env)
2024-11-13 21:04.19 ---> saved as "8bf73ad6dd98bcc6a2856273209eed6de580cdd51d41ab4bca5cd8fdd2503e9a"
/home/opam: (run (shell "opam option solver=builtin-0install"))
No modification in global configuration
2024-11-13 21:04.19 ---> saved as "7203fb6883419684effeac265c168f40a2fd18351c85f7bf297d719c06d592ac"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test decimal.0.1.1) || true"))
The following actions will be performed:
=== recompile 1 package
- recompile decimal 0.1.1
=== install 5 packages
- install angstrom 0.16.1 [required by decimal]
- install bigstringaf 0.10.0 [required by angstrom]
- install csexp 1.5.2 [required by dune-configurator]
- install dune-configurator 3.16.1 [required by bigstringaf]
- install ocaml-syntax-shims 1.0.0 [required by angstrom]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved angstrom.0.16.1 (https://github.com/inhabitedtype/angstrom/archive/0.16.1.tar.gz)
-> retrieved bigstringaf.0.10.0 (https://github.com/inhabitedtype/bigstringaf/archive/0.10.0.tar.gz)
-> retrieved csexp.1.5.2 (https://github.com/ocaml-dune/csexp/releases/download/1.5.2/csexp-1.5.2.tbz)
-> installed csexp.1.5.2
-> retrieved decimal.0.1.1 (https://github.com/yawaramin/ocaml-decimal/releases/download/v0.1.1/decimal-v0.1.1.tbz)
-> retrieved dune-configurator.3.16.1 (https://github.com/ocaml/dune/releases/download/3.16.1/dune-3.16.1.tbz)
-> retrieved ocaml-syntax-shims.1.0.0 (https://github.com/ocaml-ppx/ocaml-syntax-shims/releases/download/1.0.0/ocaml-syntax-shims-1.0.0.tbz)
-> removed decimal.0.1.1
-> installed ocaml-syntax-shims.1.0.0
-> installed dune-configurator.3.16.1
-> installed bigstringaf.0.10.0
-> installed angstrom.0.16.1
-> installed decimal.0.1.1
Done.
# To update the current shell environment, run: eval $(opam env)
2024-11-13 21:04.38 ---> saved as "11df0b3d96c6a6e652f3ce5d860b24fe803d900c2aaacddcf6611cdd294eff03"
/home/opam: (run (shell "opam reinstall --with-test --verbose decimal.0.1.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'decimal.0.1.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
The following actions will be performed:
=== recompile 1 package
- recompile decimal 0.1.1
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/4: [decimal.0.1.1: extract]
-> retrieved decimal.0.1.1 (cached)
Processing 2/4: [decimal: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "decimal" "-j" "39" "@install" "@runtest" (CWD=/home/opam/.opam/5.2/.opam-switch/build/decimal.0.1.1)
- (cd _build/default/test && ./decimal_test.exe)
- Test file: data/abs.decTest
- Test file version: 2.59
-
- precision=9
- round=half_up
- e_max=384
- e_min=-383
- absx001: abs 1 = 1
- absx002: abs -1 = 1
- absx003: abs 1.00 = 1.00
- absx004: abs -1.00 = 1.00
- absx005: abs 0 = 0
- absx006: abs 0.00 = 0.00
- absx007: abs 00.0 = 0.0
- absx008: abs 00.00 = 0.00
- absx009: abs 00 = 0
- absx010: abs -2 = 2
- absx011: abs 2 = 2
- absx012: abs -2.00 = 2.00
- absx013: abs 2.00 = 2.00
- absx014: abs -0 = 0
- absx015: abs -0.00 = 0.00
- absx016: abs -00.0 = 0.0
- absx017: abs -00.00 = 0.00
- absx018: abs -00 = 0
- absx020: abs -2000000 = 2000000
- absx021: abs 2000000 = 2000000
- precision=7
- absx022: abs -2000000 = 2000000
- absx023: abs 2000000 = 2000000
- precision=6
- absx024: abs -2000000 = 2.00000E+6 rounded
- absx025: abs 2000000 = 2.00000E+6 rounded
- precision=3
- absx026: abs -2000000 = 2.00E+6 rounded
- absx027: abs 2000000 = 2.00E+6 rounded
- absx030: abs +0.1 = 0.1
- absx031: abs -0.1 = 0.1
- absx032: abs +0.01 = 0.01
- absx033: abs -0.01 = 0.01
- absx034: abs +0.001 = 0.001
- absx035: abs -0.001 = 0.001
- absx036: abs +0.000001 = 0.000001
- absx037: abs -0.000001 = 0.000001
- absx038: abs +0.000000000001 = 1E-12
- absx039: abs -0.000000000001 = 1E-12
- precision=9
- absx040: abs 2.1 = 2.1
- absx041: abs -100 = 100
- absx042: abs 101.5 = 101.5
- absx043: abs -101.5 = 101.5
- precision=9
- absx060: abs -56267E-10 = 0.0000056267
- absx061: abs -56267E-5 = 0.56267
- absx062: abs -56267E-2 = 562.67
- absx063: abs -56267E-1 = 5626.7
- absx065: abs -56267E-0 = 56267
- e_max=999999999
- e_min=-999999999
- precision=3
- absx120: abs 9.999E+999999999 = Infinity inexact overflow rounded
- precision=3
- e_max=999
- e_min=-999
- absx210: abs 1.00E-999 = 1.00E-999
- absx211: abs 0.1E-999 = 1E-1000 subnormal
- absx212: abs 0.10E-999 = 1.0E-1000 subnormal
- absx213: abs 0.100E-999 = 1.0E-1000 subnormal rounded
- absx214: abs 0.01E-999 = 1E-1001 subnormal
- absx215: abs 0.999E-999 = 1.00E-999 inexact rounded subnormal underflow
- absx216: abs 0.099E-999 = 1.0E-1000 inexact rounded subnormal underflow
- absx217: abs 0.009E-999 = 1E-1001 inexact rounded subnormal underflow
- absx218: abs 0.001E-999 = 0E-1001 inexact rounded subnormal underflow clamped
- absx219: abs 0.0009E-999 = 0E-1001 inexact rounded subnormal underflow clamped
- absx220: abs 0.0001E-999 = 0E-1001 inexact rounded subnormal underflow clamped
- absx230: abs -1.00E-999 = 1.00E-999
- absx231: abs -0.1E-999 = 1E-1000 subnormal
- absx232: abs -0.10E-999 = 1.0E-1000 subnormal
- absx233: abs -0.100E-999 = 1.0E-1000 subnormal rounded
- absx234: abs -0.01E-999 = 1E-1001 subnormal
- absx235: abs -0.999E-999 = 1.00E-999 inexact rounded subnormal underflow
- absx236: abs -0.099E-999 = 1.0E-1000 inexact rounded subnormal underflow
- absx237: abs -0.009E-999 = 1E-1001 inexact rounded subnormal underflow
- absx238: abs -0.001E-999 = 0E-1001 inexact rounded subnormal underflow clamped
- absx239: abs -0.0009E-999 = 0E-1001 inexact rounded subnormal underflow clamped
- absx240: abs -0.0001E-999 = 0E-1001 inexact rounded subnormal underflow clamped
- e_max=999
- e_min=-999
- precision=9
- absx301: abs 12345678000 = 1.23456780E+10 rounded
- absx302: abs 1234567800 = 1.23456780E+9 rounded
- absx303: abs 1234567890 = 1.23456789E+9 rounded
- absx304: abs 1234567891 = 1.23456789E+9 inexact rounded
- absx305: abs 12345678901 = 1.23456789E+10 inexact rounded
- absx306: abs 1234567896 = 1.23456790E+9 inexact rounded
- precision=15
- absx321: abs 12345678000 = 12345678000
- absx322: abs 1234567800 = 1234567800
- absx323: abs 1234567890 = 1234567890
- absx324: abs 1234567891 = 1234567891
- absx325: abs 12345678901 = 12345678901
- absx326: abs 1234567896 = 1234567896
- precision=9
- absx520: abs Inf = Infinity
- absx521: abs -Inf = Infinity
- absx522: abs NaN = NaN
- absx523: abs sNaN = NaN invalid_operation
- absx524: abs NaN22 = NaN22
- absx525: abs sNaN33 = NaN33 invalid_operation
- absx526: abs -NaN22 = -NaN22
- absx527: abs -sNaN33 = -NaN33 invalid_operation
- absx900: abs # = NaN invalid_operationTest file: data/add.decTest
- Test file version: 2.59
-
- precision=9
- round=half_up
- e_max=384
- e_min=-383
- addx001: 1 + 1 = 2
- addx002: 2 + 3 = 5
- addx003: 5.75 + 3.3 = 9.05
- addx004: 5 + -3 = 2
- addx005: -5 + -3 = -8
- addx006: -7 + 2.5 = -4.5
- addx007: 0.7 + 0.3 = 1.0
- addx008: 1.25 + 1.25 = 2.50
- addx009: 1.23456789 + 1.00000000 = 2.23456789
- addx010: 1.23456789 + 1.00000011 = 2.23456800
- addx011: 0.4444444444 + 0.5555555555 = 1.00000000 inexact rounded
- addx012: 0.4444444440 + 0.5555555555 = 1.00000000 inexact rounded
- addx013: 0.4444444444 + 0.5555555550 = 0.999999999 inexact rounded
- addx014: 0.44444444449 + 0 = 0.444444444 inexact rounded
- addx015: 0.444444444499 + 0 = 0.444444444 inexact rounded
- addx016: 0.4444444444999 + 0 = 0.444444444 inexact rounded
- addx017: 0.4444444445000 + 0 = 0.444444445 inexact rounded
- addx018: 0.4444444445001 + 0 = 0.444444445 inexact rounded
- addx019: 0.444444444501 + 0 = 0.444444445 inexact rounded
- addx020: 0.44444444451 + 0 = 0.444444445 inexact rounded
- addx021: 0 + 1 = 1
- addx022: 1 + 1 = 2
- addx023: 2 + 1 = 3
- addx024: 3 + 1 = 4
- addx025: 4 + 1 = 5
- addx026: 5 + 1 = 6
- addx027: 6 + 1 = 7
- addx028: 7 + 1 = 8
- addx029: 8 + 1 = 9
- addx030: 9 + 1 = 10
- addx031: 0.9998 + 0.0000 = 0.9998
- addx032: 0.9998 + 0.0001 = 0.9999
- addx033: 0.9998 + 0.0002 = 1.0000
- addx034: 0.9998 + 0.0003 = 1.0001
- addx035: 70 + 10000e+9 = 1.00000000E+13 inexact rounded
- addx036: 700 + 10000e+9 = 1.00000000E+13 inexact rounded
- addx037: 7000 + 10000e+9 = 1.00000000E+13 inexact rounded
- addx038: 70000 + 10000e+9 = 1.00000001E+13 inexact rounded
- addx039: 700000 + 10000e+9 = 1.00000007E+13 rounded
- addx040: 10000e+9 + 70 = 1.00000000E+13 inexact rounded
- addx041: 10000e+9 + 700 = 1.00000000E+13 inexact rounded
- addx042: 10000e+9 + 7000 = 1.00000000E+13 inexact rounded
- addx044: 10000e+9 + 70000 = 1.00000001E+13 inexact rounded
- addx045: 10000e+9 + 700000 = 1.00000007E+13 rounded
- precision=15
- addx046: 10000e+9 + 7 = 10000000000007
- addx047: 10000e+9 + 70 = 10000000000070
- addx048: 10000e+9 + 700 = 10000000000700
- addx049: 10000e+9 + 7000 = 10000000007000
- addx050: 10000e+9 + 70000 = 10000000070000
- addx051: 10000e+9 + 700000 = 10000000700000
- addx052: 10000e+9 + 7000000 = 10000007000000
- addx053: 12 + 7.00 = 19.00
- addx054: 1.3 + -1.07 = 0.23
- addx055: 1.3 + -1.30 = 0.00
- addx056: 1.3 + -2.07 = -0.77
- addx057: 1E+2 + 1E+4 = 1.01E+4
- precision=6
- addx060: 10000e+9 + 70000 = 1.00000E+13 inexact rounded
- addx061: 1 + 0.0001 = 1.0001
- addx062: 1 + 0.00001 = 1.00001
- addx063: 1 + 0.000001 = 1.00000 inexact rounded
- addx064: 1 + 0.0000001 = 1.00000 inexact rounded
- addx065: 1 + 0.00000001 = 1.00000 inexact rounded
- addx070: 1 + 0 = 1
- addx071: 1 + 0. = 1
- addx072: 1 + .0 = 1.0
- addx073: 1 + 0.0 = 1.0
- addx074: 1 + 0.00 = 1.00
- addx075: 0 + 1 = 1
- addx076: 0. + 1 = 1
- addx077: .0 + 1 = 1.0
- addx078: 0.0 + 1 = 1.0
- addx079: 0.00 + 1 = 1.00
- precision=9
- addx080: 999999998 + 1 = 999999999
- addx081: 999999999 + 1 = 1.00000000E+9 rounded
- addx082: 99999999 + 1 = 100000000
- addx083: 9999999 + 1 = 10000000
- addx084: 999999 + 1 = 1000000
- addx085: 99999 + 1 = 100000
- addx086: 9999 + 1 = 10000
- addx087: 999 + 1 = 1000
- addx088: 99 + 1 = 100
- addx089: 9 + 1 = 10
- addx090: -56267E-10 + 0 = -0.0000056267
- addx091: -56267E-6 + 0 = -0.056267
- addx092: -56267E-5 + 0 = -0.56267
- addx093: -56267E-4 + 0 = -5.6267
- addx094: -56267E-3 + 0 = -56.267
- addx095: -56267E-2 + 0 = -562.67
- addx096: -56267E-1 + 0 = -5626.7
- addx097: -56267E-0 + 0 = -56267
- addx098: -5E-10 + 0 = -5E-10
- addx099: -5E-7 + 0 = -5E-7
- addx100: -5E-6 + 0 = -0.000005
- addx101: -5E-5 + 0 = -0.00005
- addx102: -5E-4 + 0 = -0.0005
- addx103: -5E-1 + 0 = -0.5
- addx104: -5E0 + 0 = -5
- addx105: -5E1 + 0 = -50
- addx106: -5E5 + 0 = -500000
- addx107: -5E8 + 0 = -500000000
- addx108: -5E9 + 0 = -5.00000000E+9 rounded
- addx109: -5E10 + 0 = -5.00000000E+10 rounded
- addx110: -5E11 + 0 = -5.00000000E+11 rounded
- addx111: -5E100 + 0 = -5.00000000E+100 rounded
- addx113: 0 + -56267E-10 = -0.0000056267
- addx114: 0 + -56267E-6 = -0.056267
- addx116: 0 + -56267E-5 = -0.56267
- addx117: 0 + -56267E-4 = -5.6267
- addx119: 0 + -56267E-3 = -56.267
- addx120: 0 + -56267E-2 = -562.67
- addx121: 0 + -56267E-1 = -5626.7
- addx122: 0 + -56267E-0 = -56267
- addx123: 0 + -5E-10 = -5E-10
- addx124: 0 + -5E-7 = -5E-7
- addx125: 0 + -5E-6 = -0.000005
- addx126: 0 + -5E-5 = -0.00005
- addx127: 0 + -5E-4 = -0.0005
- addx128: 0 + -5E-1 = -0.5
- addx129: 0 + -5E0 = -5
- addx130: 0 + -5E1 = -50
- addx131: 0 + -5E5 = -500000
- addx132: 0 + -5E8 = -500000000
- addx133: 0 + -5E9 = -5.00000000E+9 rounded
- addx134: 0 + -5E10 = -5.00000000E+10 rounded
- addx135: 0 + -5E11 = -5.00000000E+11 rounded
- addx136: 0 + -5E100 = -5.00000000E+100 rounded
- addx137: 1 + 0E-12 = 1.00000000 rounded
- addx138: -1 + 0E-12 = -1.00000000 rounded
- addx139: 0E-12 + 1 = 1.00000000 rounded
- addx140: 0E-12 + -1 = -1.00000000 rounded
- addx141: 1E+4 + 0.0000 = 10000.0000
- addx142: 1E+4 + 0.00000 = 10000.0000 rounded
- addx143: 0.000 + 1E+5 = 100000.000
- addx144: 0.0000 + 1E+5 = 100000.000 rounded
- addx146: 00.0 + 0 = 0.0
- addx147: 0.00 + 0 = 0.00
- addx148: 0 + 0.00 = 0.00
- addx149: 0 + 00.0 = 0.0
- addx150: 00.0 + 0.00 = 0.00
- addx151: 0.00 + 00.0 = 0.00
- addx152: 3 + .3 = 3.3
- addx153: 3. + .3 = 3.3
- addx154: 3.0 + .3 = 3.3
- addx155: 3.00 + .3 = 3.30
- addx156: 3 + 3 = 6
- addx157: 3 + +3 = 6
- addx158: 3 + -3 = 0
- addx159: 0.3 + -0.3 = 0.0
- addx160: 0.03 + -0.03 = 0.00
- precision=15
- addx161: 1E+12 + -1 = 999999999999
- addx162: 1E+12 + 1.11 = 1000000000001.11
- addx163: 1.11 + 1E+12 = 1000000000001.11
- addx164: -1 + 1E+12 = 999999999999
- addx165: 7E+12 + -1 = 6999999999999
- addx166: 7E+12 + 1.11 = 7000000000001.11
- addx167: 1.11 + 7E+12 = 7000000000001.11
- addx168: -1 + 7E+12 = 6999999999999
- addx170: 0.444444444444444 + 0.555555555555563 = 1.00000000000001 inexact rounded
- addx171: 0.444444444444444 + 0.555555555555562 = 1.00000000000001 inexact rounded
- addx172: 0.444444444444444 + 0.555555555555561 = 1.00000000000001 inexact rounded
- addx173: 0.444444444444444 + 0.555555555555560 = 1.00000000000000 inexact rounded
- addx174: 0.444444444444444 + 0.555555555555559 = 1.00000000000000 inexact rounded
- addx175: 0.444444444444444 + 0.555555555555558 = 1.00000000000000 inexact rounded
- addx176: 0.444444444444444 + 0.555555555555557 = 1.00000000000000 inexact rounded
- addx177: 0.444444444444444 + 0.555555555555556 = 1.00000000000000 rounded
- addx178: 0.444444444444444 + 0.555555555555555 = 0.999999999999999
- addx179: 0.444444444444444 + 0.555555555555554 = 0.999999999999998
- addx180: 0.444444444444444 + 0.555555555555553 = 0.999999999999997
- addx181: 0.444444444444444 + 0.555555555555552 = 0.999999999999996
- addx182: 0.444444444444444 + 0.555555555555551 = 0.999999999999995
- addx183: 0.444444444444444 + 0.555555555555550 = 0.999999999999994
- precision=9
- round=half_up
- addx200: 123456789 + 0 = 123456789
- addx201: 123456789 + 0.000000001 = 123456789 inexact rounded
- addx202: 123456789 + 0.000001 = 123456789 inexact rounded
- addx203: 123456789 + 0.1 = 123456789 inexact rounded
- addx204: 123456789 + 0.4 = 123456789 inexact rounded
- addx205: 123456789 + 0.49 = 123456789 inexact rounded
- addx206: 123456789 + 0.499999 = 123456789 inexact rounded
- addx207: 123456789 + 0.499999999 = 123456789 inexact rounded
- addx208: 123456789 + 0.5 = 123456790 inexact rounded
- addx209: 123456789 + 0.500000001 = 123456790 inexact rounded
- addx210: 123456789 + 0.500001 = 123456790 inexact rounded
- addx211: 123456789 + 0.51 = 123456790 inexact rounded
- addx212: 123456789 + 0.6 = 123456790 inexact rounded
- addx213: 123456789 + 0.9 = 123456790 inexact rounded
- addx214: 123456789 + 0.99999 = 123456790 inexact rounded
- addx215: 123456789 + 0.999999999 = 123456790 inexact rounded
- addx216: 123456789 + 1 = 123456790
- addx217: 123456789 + 1.000000001 = 123456790 inexact rounded
- addx218: 123456789 + 1.00001 = 123456790 inexact rounded
- addx219: 123456789 + 1.1 = 123456790 inexact rounded
- round=half_even
- addx220: 123456789 + 0 = 123456789
- addx221: 123456789 + 0.000000001 = 123456789 inexact rounded
- addx222: 123456789 + 0.000001 = 123456789 inexact rounded
- addx223: 123456789 + 0.1 = 123456789 inexact rounded
- addx224: 123456789 + 0.4 = 123456789 inexact rounded
- addx225: 123456789 + 0.49 = 123456789 inexact rounded
- addx226: 123456789 + 0.499999 = 123456789 inexact rounded
- addx227: 123456789 + 0.499999999 = 123456789 inexact rounded
- addx228: 123456789 + 0.5 = 123456790 inexact rounded
- addx229: 123456789 + 0.500000001 = 123456790 inexact rounded
- addx230: 123456789 + 0.500001 = 123456790 inexact rounded
- addx231: 123456789 + 0.51 = 123456790 inexact rounded
- addx232: 123456789 + 0.6 = 123456790 inexact rounded
- addx233: 123456789 + 0.9 = 123456790 inexact rounded
- addx234: 123456789 + 0.99999 = 123456790 inexact rounded
- addx235: 123456789 + 0.999999999 = 123456790 inexact rounded
- addx236: 123456789 + 1 = 123456790
- addx237: 123456789 + 1.00000001 = 123456790 inexact rounded
- addx238: 123456789 + 1.00001 = 123456790 inexact rounded
- addx239: 123456789 + 1.1 = 123456790 inexact rounded
- addx240: 123456788 + 0.499999999 = 123456788 inexact rounded
- addx241: 123456788 + 0.5 = 123456788 inexact rounded
- addx242: 123456788 + 0.500000001 = 123456789 inexact rounded
- round=down
- addx250: 123456789 + 0 = 123456789
- addx251: 123456789 + 0.000000001 = 123456789 inexact rounded
- addx252: 123456789 + 0.000001 = 123456789 inexact rounded
- addx253: 123456789 + 0.1 = 123456789 inexact rounded
- addx254: 123456789 + 0.4 = 123456789 inexact rounded
- addx255: 123456789 + 0.49 = 123456789 inexact rounded
- addx256: 123456789 + 0.499999 = 123456789 inexact rounded
- addx257: 123456789 + 0.499999999 = 123456789 inexact rounded
- addx258: 123456789 + 0.5 = 123456789 inexact rounded
- addx259: 123456789 + 0.500000001 = 123456789 inexact rounded
- addx260: 123456789 + 0.500001 = 123456789 inexact rounded
- addx261: 123456789 + 0.51 = 123456789 inexact rounded
- addx262: 123456789 + 0.6 = 123456789 inexact rounded
- addx263: 123456789 + 0.9 = 123456789 inexact rounded
- addx264: 123456789 + 0.99999 = 123456789 inexact rounded
- addx265: 123456789 + 0.999999999 = 123456789 inexact rounded
- addx266: 123456789 + 1 = 123456790
- addx267: 123456789 + 1.00000001 = 123456790 inexact rounded
- addx268: 123456789 + 1.00001 = 123456790 inexact rounded
- addx269: 123456789 + 1.1 = 123456790 inexact rounded
- precision=3
- round=half_up
- addx270: 12345678900000 + 9999999999999 = 2.23E+13 inexact rounded
- addx271: 9999999999999 + 12345678900000 = 2.23E+13 inexact rounded
- addx272: 12E+3 + 3444 = 1.54E+4 inexact rounded
- addx273: 12E+3 + 3446 = 1.54E+4 inexact rounded
- addx274: 12E+3 + 3449.9 = 1.54E+4 inexact rounded
- addx275: 12E+3 + 3450.0 = 1.55E+4 inexact rounded
- addx276: 12E+3 + 3450.1 = 1.55E+4 inexact rounded
- addx277: 12E+3 + 3454 = 1.55E+4 inexact rounded
- addx278: 12E+3 + 3456 = 1.55E+4 inexact rounded
- addx281: 3444 + 12E+3 = 1.54E+4 inexact rounded
- addx282: 3446 + 12E+3 = 1.54E+4 inexact rounded
- addx283: 3449.9 + 12E+3 = 1.54E+4 inexact rounded
- addx284: 3450.0 + 12E+3 = 1.55E+4 inexact rounded
- addx285: 3450.1 + 12E+3 = 1.55E+4 inexact rounded
- addx286: 3454 + 12E+3 = 1.55E+4 inexact rounded
- addx287: 3456 + 12E+3 = 1.55E+4 inexact rounded
- round=half_down
- addx291: 3444 + 12E+3 = 1.54E+4 inexact rounded
- addx292: 3446 + 12E+3 = 1.54E+4 inexact rounded
- addx293: 3449.9 + 12E+3 = 1.54E+4 inexact rounded
- addx294: 3450.0 + 12E+3 = 1.54E+4 inexact rounded
- addx295: 3450.1 + 12E+3 = 1.55E+4 inexact rounded
- addx296: 3454 + 12E+3 = 1.55E+4 inexact rounded
- addx297: 3456 + 12E+3 = 1.55E+4 inexact rounded
- round=half_up
- addx301: -1 + 1 = 0
- addx302: 0 + 1 = 1
- addx303: 1 + 1 = 2
- addx304: 12 + 1 = 13
- addx305: 98 + 1 = 99
- addx306: 99 + 1 = 100
- addx307: 100 + 1 = 101
- addx308: 101 + 1 = 102
- addx309: -1 + -1 = -2
- addx310: 0 + -1 = -1
- addx311: 1 + -1 = 0
- addx312: 12 + -1 = 11
- addx313: 98 + -1 = 97
- addx314: 99 + -1 = 98
- addx315: 100 + -1 = 99
- addx316: 101 + -1 = 100
- addx321: -0.01 + 0.01 = 0.00
- addx322: 0.00 + 0.01 = 0.01
- addx323: 0.01 + 0.01 = 0.02
- addx324: 0.12 + 0.01 = 0.13
- addx325: 0.98 + 0.01 = 0.99
- addx326: 0.99 + 0.01 = 1.00
- addx327: 1.00 + 0.01 = 1.01
- addx328: 1.01 + 0.01 = 1.02
- addx329: -0.01 + -0.01 = -0.02
- addx330: 0.00 + -0.01 = -0.01
- addx331: 0.01 + -0.01 = 0.00
- addx332: 0.12 + -0.01 = 0.11
- addx333: 0.98 + -0.01 = 0.97
- addx334: 0.99 + -0.01 = 0.98
- addx335: 1.00 + -0.01 = 0.99
- addx336: 1.01 + -0.01 = 1.00
- precision=9
- addx340: 1E+3 + 0 = 1000
- addx341: 1E+8 + 0 = 100000000
- addx342: 1E+9 + 0 = 1.00000000E+9 rounded
- addx343: 1E+10 + 0 = 1.00000000E+10 rounded
- addx344: 1E+3 + 1 = 1001
- addx345: 1E+8 + 1 = 100000001
- addx346: 1E+9 + 1 = 1.00000000E+9 inexact rounded
- addx347: 1E+10 + 1 = 1.00000000E+10 inexact rounded
- addx348: 1E+3 + 7 = 1007
- addx349: 1E+8 + 7 = 100000007
- addx350: 1E+9 + 7 = 1.00000001E+9 inexact rounded
- addx351: 1E+10 + 7 = 1.00000000E+10 inexact rounded
- precision=7
- round=half_up
- e_max=92
- e_min=-92
- addx361: 0E+50 + 10000E+1 = 1.0000E+5
- addx362: 10000E+1 + 0E-50 = 100000.0 rounded
- addx363: 10000E+1 + 10000E-50 = 100000.0 rounded inexact
- addx364: 9.999999E+92 + -9.999999E+92 = 0E+86
- round=half_down
- precision=10
- addx370: 99999999 + 81512 = 100081511
- precision=6
- addx371: 99999999 + 81512 = 1.00082E+8 rounded inexact
- round=half_up
- precision=10
- addx372: 99999999 + 81512 = 100081511
- precision=6
- addx373: 99999999 + 81512 = 1.00082E+8 rounded inexact
- round=half_even
- precision=10
- addx374: 99999999 + 81512 = 100081511
- precision=6
- addx375: 99999999 + 81512 = 1.00082E+8 rounded inexact
- precision=9
- e_max=999999999
- e_min=-999999999
- addx400: 1 + 77e-7 = 1.0000077
- addx401: 1 + 77e-8 = 1.00000077
- addx402: 1 + 77e-9 = 1.00000008 inexact rounded
- addx403: 1 + 77e-10 = 1.00000001 inexact rounded
- addx404: 1 + 77e-11 = 1.00000000 inexact rounded
- addx405: 1 + 77e-12 = 1.00000000 inexact rounded
- addx406: 1 + 77e-999 = 1.00000000 inexact rounded
- addx407: 1 + 77e-9999999 = 1.00000000 inexact rounded
- addx410: 10 + 77e-7 = 10.0000077
- addx411: 10 + 77e-8 = 10.0000008 inexact rounded
- addx412: 10 + 77e-9 = 10.0000001 inexact rounded
- addx413: 10 + 77e-10 = 10.0000000 inexact rounded
- addx414: 10 + 77e-11 = 10.0000000 inexact rounded
- addx415: 10 + 77e-12 = 10.0000000 inexact rounded
- addx416: 10 + 77e-999 = 10.0000000 inexact rounded
- addx417: 10 + 77e-9999999 = 10.0000000 inexact rounded
- addx420: 77e-7 + 1 = 1.0000077
- addx421: 77e-8 + 1 = 1.00000077
- addx422: 77e-9 + 1 = 1.00000008 inexact rounded
- addx423: 77e-10 + 1 = 1.00000001 inexact rounded
- addx424: 77e-11 + 1 = 1.00000000 inexact rounded
- addx425: 77e-12 + 1 = 1.00000000 inexact rounded
- addx426: 77e-999 + 1 = 1.00000000 inexact rounded
- addx427: 77e-9999999 + 1 = 1.00000000 inexact rounded
- addx430: 77e-7 + 10 = 10.0000077
- addx431: 77e-8 + 10 = 10.0000008 inexact rounded
- addx432: 77e-9 + 10 = 10.0000001 inexact rounded
- addx433: 77e-10 + 10 = 10.0000000 inexact rounded
- addx434: 77e-11 + 10 = 10.0000000 inexact rounded
- addx435: 77e-12 + 10 = 10.0000000 inexact rounded
- addx436: 77e-999 + 10 = 10.0000000 inexact rounded
- addx437: 77e-9999999 + 10 = 10.0000000 inexact rounded
- addx440: 1 + -77e-7 = 0.9999923
- addx441: 1 + -77e-8 = 0.99999923
- addx442: 1 + -77e-9 = 0.999999923
- addx443: 1 + -77e-10 = 0.999999992 inexact rounded
- addx444: 1 + -77e-11 = 0.999999999 inexact rounded
- addx445: 1 + -77e-12 = 1.00000000 inexact rounded
- addx446: 1 + -77e-999 = 1.00000000 inexact rounded
- addx447: 1 + -77e-9999999 = 1.00000000 inexact rounded
- addx450: 10 + -77e-7 = 9.9999923
- addx451: 10 + -77e-8 = 9.99999923
- addx452: 10 + -77e-9 = 9.99999992 inexact rounded
- addx453: 10 + -77e-10 = 9.99999999 inexact rounded
- addx454: 10 + -77e-11 = 10.0000000 inexact rounded
- addx455: 10 + -77e-12 = 10.0000000 inexact rounded
- addx456: 10 + -77e-999 = 10.0000000 inexact rounded
- addx457: 10 + -77e-9999999 = 10.0000000 inexact rounded
- addx460: -77e-7 + 1 = 0.9999923
- addx461: -77e-8 + 1 = 0.99999923
- addx462: -77e-9 + 1 = 0.999999923
- addx463: -77e-10 + 1 = 0.999999992 inexact rounded
- addx464: -77e-11 + 1 = 0.999999999 inexact rounded
- addx465: -77e-12 + 1 = 1.00000000 inexact rounded
- addx466: -77e-999 + 1 = 1.00000000 inexact rounded
- addx467: -77e-9999999 + 1 = 1.00000000 inexact rounded
- addx470: -77e-7 + 10 = 9.9999923
- addx471: -77e-8 + 10 = 9.99999923
- addx472: -77e-9 + 10 = 9.99999992 inexact rounded
- addx473: -77e-10 + 10 = 9.99999999 inexact rounded
- addx474: -77e-11 + 10 = 10.0000000 inexact rounded
- addx475: -77e-12 + 10 = 10.0000000 inexact rounded
- addx476: -77e-999 + 10 = 10.0000000 inexact rounded
- addx477: -77e-9999999 + 10 = 10.0000000 inexact rounded
- addx480: -1 + 77e-7 = -0.9999923
- addx481: -1 + 77e-8 = -0.99999923
- addx482: -1 + 77e-9 = -0.999999923
- addx483: -1 + 77e-10 = -0.999999992 inexact rounded
- addx484: -1 + 77e-11 = -0.999999999 inexact rounded
- addx485: -1 + 77e-12 = -1.00000000 inexact rounded
- addx486: -1 + 77e-999 = -1.00000000 inexact rounded
- addx487: -1 + 77e-9999999 = -1.00000000 inexact rounded
- addx490: -10 + 77e-7 = -9.9999923
- addx491: -10 + 77e-8 = -9.99999923
- addx492: -10 + 77e-9 = -9.99999992 inexact rounded
- addx493: -10 + 77e-10 = -9.99999999 inexact rounded
- addx494: -10 + 77e-11 = -10.0000000 inexact rounded
- addx495: -10 + 77e-12 = -10.0000000 inexact rounded
- addx496: -10 + 77e-999 = -10.0000000 inexact rounded
- addx497: -10 + 77e-9999999 = -10.0000000 inexact rounded
- addx500: 77e-7 + -1 = -0.9999923
- addx501: 77e-8 + -1 = -0.99999923
- addx502: 77e-9 + -1 = -0.999999923
- addx503: 77e-10 + -1 = -0.999999992 inexact rounded
- addx504: 77e-11 + -1 = -0.999999999 inexact rounded
- addx505: 77e-12 + -1 = -1.00000000 inexact rounded
- addx506: 77e-999 + -1 = -1.00000000 inexact rounded
- addx507: 77e-9999999 + -1 = -1.00000000 inexact rounded
- addx510: 77e-7 + -10 = -9.9999923
- addx511: 77e-8 + -10 = -9.99999923
- addx512: 77e-9 + -10 = -9.99999992 inexact rounded
- addx513: 77e-10 + -10 = -9.99999999 inexact rounded
- addx514: 77e-11 + -10 = -10.0000000 inexact rounded
- addx515: 77e-12 + -10 = -10.0000000 inexact rounded
- addx516: 77e-999 + -10 = -10.0000000 inexact rounded
- addx517: 77e-9999999 + -10 = -10.0000000 inexact rounded
- e_max=999
- e_min=-999
- precision=9
- addx521: 12345678000 + 0 = 1.23456780E+10 rounded
- addx522: 0 + 12345678000 = 1.23456780E+10 rounded
- addx523: 1234567800 + 0 = 1.23456780E+9 rounded
- addx524: 0 + 1234567800 = 1.23456780E+9 rounded
- addx525: 1234567890 + 0 = 1.23456789E+9 rounded
- addx526: 0 + 1234567890 = 1.23456789E+9 rounded
- addx527: 1234567891 + 0 = 1.23456789E+9 inexact rounded
- addx528: 0 + 1234567891 = 1.23456789E+9 inexact rounded
- addx529: 12345678901 + 0 = 1.23456789E+10 inexact rounded
- addx530: 0 + 12345678901 = 1.23456789E+10 inexact rounded
- addx531: 1234567896 + 0 = 1.23456790E+9 inexact rounded
- addx532: 0 + 1234567896 = 1.23456790E+9 inexact rounded
- precision=15
- addx541: 12345678000 + 0 = 12345678000
- addx542: 0 + 12345678000 = 12345678000
- addx543: 1234567800 + 0 = 1234567800
- addx544: 0 + 1234567800 = 1234567800
- addx545: 1234567890 + 0 = 1234567890
- addx546: 0 + 1234567890 = 1234567890
- addx547: 1234567891 + 0 = 1234567891
- addx548: 0 + 1234567891 = 1234567891
- addx549: 12345678901 + 0 = 12345678901
- addx550: 0 + 12345678901 = 12345678901
- addx551: 1234567896 + 0 = 1234567896
- addx552: 0 + 1234567896 = 1234567896
- precision=16
- e_max=394
- e_min=-393
- round=down
- addx561: 1e-398 + 9.000000000000000E+384 = 9.000000000000000E+384 inexact rounded
- addx562: 0 + 9.000000000000000E+384 = 9.000000000000000E+384 rounded
- precision=16
- e_max=384
- e_min=-383
- round=down
- addx563: 1e-388 + 9.000000000000000E+374 = 9.000000000000000E+374 inexact rounded
- addx564: 0 + 9.000000000000000E+374 = 9.000000000000000E+374 rounded
- precision=9
- round=half_up
- addx601: 123456789 + 0.000001 = 123456789 inexact rounded
- round=half_even
- addx602: 123456789 + 0.000001 = 123456789 inexact rounded
- round=half_down
- addx603: 123456789 + 0.000001 = 123456789 inexact rounded
- round=floor
- addx604: 123456789 + 0.000001 = 123456789 inexact rounded
- round=ceiling
- addx605: 123456789 + 0.000001 = 123456790 inexact rounded
- round=up
- addx606: 123456789 + 0.000001 = 123456790 inexact rounded
- round=down
- addx607: 123456789 + 0.000001 = 123456789 inexact rounded
- round=half_up
- addx611: 123456789 + -0.000001 = 123456789 inexact rounded
- round=half_even
- addx612: 123456789 + -0.000001 = 123456789 inexact rounded
- round=half_down
- addx613: 123456789 + -0.000001 = 123456789 inexact rounded
- round=floor
- addx614: 123456789 + -0.000001 = 123456788 inexact rounded
- round=ceiling
- addx615: 123456789 + -0.000001 = 123456789 inexact rounded
- round=up
- addx616: 123456789 + -0.000001 = 123456789 inexact rounded
- round=down
- addx617: 123456789 + -0.000001 = 123456788 inexact rounded
- round=half_up
- addx621: 123456789 + 0.499999 = 123456789 inexact rounded
- round=half_even
- addx622: 123456789 + 0.499999 = 123456789 inexact rounded
- round=half_down
- addx623: 123456789 + 0.499999 = 123456789 inexact rounded
- round=floor
- addx624: 123456789 + 0.499999 = 123456789 inexact rounded
- round=ceiling
- addx625: 123456789 + 0.499999 = 123456790 inexact rounded
- round=up
- addx626: 123456789 + 0.499999 = 123456790 inexact rounded
- round=down
- addx627: 123456789 + 0.499999 = 123456789 inexact rounded
- round=half_up
- addx631: 123456789 + -0.499999 = 123456789 inexact rounded
- round=half_even
- addx632: 123456789 + -0.499999 = 123456789 inexact rounded
- round=half_down
- addx633: 123456789 + -0.499999 = 123456789 inexact rounded
- round=floor
- addx634: 123456789 + -0.499999 = 123456788 inexact rounded
- round=ceiling
- addx635: 123456789 + -0.499999 = 123456789 inexact rounded
- round=up
- addx636: 123456789 + -0.499999 = 123456789 inexact rounded
- round=down
- addx637: 123456789 + -0.499999 = 123456788 inexact rounded
- round=half_up
- addx641: 123456789 + 0.500001 = 123456790 inexact rounded
- round=half_even
- addx642: 123456789 + 0.500001 = 123456790 inexact rounded
- round=half_down
- addx643: 123456789 + 0.500001 = 123456790 inexact rounded
- round=floor
- addx644: 123456789 + 0.500001 = 123456789 inexact rounded
- round=ceiling
- addx645: 123456789 + 0.500001 = 123456790 inexact rounded
- round=up
- addx646: 123456789 + 0.500001 = 123456790 inexact rounded
- round=down
- addx647: 123456789 + 0.500001 = 123456789 inexact rounded
- round=half_up
- addx651: 123456789 + -0.500001 = 123456788 inexact rounded
- round=half_even
- addx652: 123456789 + -0.500001 = 123456788 inexact rounded
- round=half_down
- addx653: 123456789 + -0.500001 = 123456788 inexact rounded
- round=floor
- addx654: 123456789 + -0.500001 = 123456788 inexact rounded
- round=ceiling
- addx655: 123456789 + -0.500001 = 123456789 inexact rounded
- round=up
- addx656: 123456789 + -0.500001 = 123456789 inexact rounded
- round=down
- addx657: 123456789 + -0.500001 = 123456788 inexact rounded
- round=half_up
- precision=37
- addx660: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 98471174166.42211023638922337114834538
- precision=36
- addx661: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 98471174166.4221102363892233711483454 inexact rounded
- precision=35
- addx662: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 98471174166.422110236389223371148345 inexact rounded
- precision=34
- addx663: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 98471174166.42211023638922337114835 inexact rounded
- precision=33
- addx664: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 98471174166.4221102363892233711483 inexact rounded
- precision=32
- addx665: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 98471174166.422110236389223371148 inexact rounded
- precision=31
- addx666: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 98471174166.42211023638922337115 inexact rounded
- precision=30
- addx667: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 98471174166.4221102363892233711 inexact rounded
- precision=29
- addx668: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 98471174166.422110236389223371 inexact rounded
- precision=28
- addx669: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 98471174166.42211023638922337 inexact rounded
- precision=27
- addx670: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 98471174166.4221102363892234 inexact rounded
- precision=26
- addx671: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 98471174166.422110236389223 inexact rounded
- precision=25
- addx672: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 98471174166.42211023638922 inexact rounded
- precision=24
- addx673: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 98471174166.4221102363892 inexact rounded
- precision=23
- addx674: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 98471174166.422110236389 inexact rounded
- precision=22
- addx675: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 98471174166.42211023639 inexact rounded
- precision=21
- addx676: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 98471174166.4221102364 inexact rounded
- precision=20
- addx677: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 98471174166.422110236 inexact rounded
- precision=19
- addx678: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 98471174166.42211024 inexact rounded
- precision=18
- addx679: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 98471174166.4221102 inexact rounded
- precision=17
- addx680: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 98471174166.422110 inexact rounded
- precision=16
- addx681: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 98471174166.42211 inexact rounded
- precision=15
- addx682: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 98471174166.4221 inexact rounded
- precision=14
- addx683: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 98471174166.422 inexact rounded
- precision=13
- addx684: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 98471174166.42 inexact rounded
- precision=12
- addx685: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 98471174166.4 inexact rounded
- precision=11
- addx686: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 98471174166 inexact rounded
- precision=10
- addx687: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 9.847117417E+10 inexact rounded
- precision=9
- addx688: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 9.84711742E+10 inexact rounded
- precision=8
- addx689: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 9.8471174E+10 inexact rounded
- precision=7
- addx690: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 9.847117E+10 inexact rounded
- precision=6
- addx691: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 9.84712E+10 inexact rounded
- precision=5
- addx692: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 9.8471E+10 inexact rounded
- precision=4
- addx693: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 9.847E+10 inexact rounded
- precision=3
- addx694: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 9.85E+10 inexact rounded
- precision=2
- addx695: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 9.8E+10 inexact rounded
- precision=1
- addx696: 98471198160.56524417578665886060 + -23994.14313393939743548945165462 = 1E+11 inexact rounded
- round=half_up
- precision=9
- addx701: 5.00 + 1.00E-3 = 5.00100
- addx702: 00.00 + 0.000 = 0.000
- addx703: 00.00 + 0E-3 = 0.000
- addx704: 0E-3 + 00.00 = 0.000
- addx710: 0E+3 + 00.00 = 0.00
- addx711: 0E+3 + 00.0 = 0.0
- addx712: 0E+3 + 00. = 0
- addx713: 0E+3 + 00.E+1 = 0E+1
- addx714: 0E+3 + 00.E+2 = 0E+2
- addx715: 0E+3 + 00.E+3 = 0E+3
- addx716: 0E+3 + 00.E+4 = 0E+3
- addx717: 0E+3 + 00.E+5 = 0E+3
- addx718: 0E+3 + -00.0 = 0.0
- addx719: 0E+3 + -00. = 0
- addx731: 0E+3 + -00.E+1 = 0E+1
- addx720: 00.00 + 0E+3 = 0.00
- addx721: 00.0 + 0E+3 = 0.0
- addx722: 00. + 0E+3 = 0
- addx723: 00.E+1 + 0E+3 = 0E+1
- addx724: 00.E+2 + 0E+3 = 0E+2
- addx725: 00.E+3 + 0E+3 = 0E+3
- addx726: 00.E+4 + 0E+3 = 0E+3
- addx727: 00.E+5 + 0E+3 = 0E+3
- addx728: -00.00 + 0E+3 = 0.00
- addx729: -00.0 + 0E+3 = 0.0
- addx730: -00. + 0E+3 = 0
- addx732: 0 + 0 = 0
- addx733: 0 + -0 = 0
- addx734: -0 + 0 = 0
- addx735: -0 + -0 = -0
- addx736: 1 + -1 = 0
- addx737: -1 + -1 = -2
- addx738: 1 + 1 = 2
- addx739: -1 + 1 = 0
- addx741: 0 + -1 = -1
- addx742: -0 + -1 = -1
- addx743: 0 + 1 = 1
- addx744: -0 + 1 = 1
- addx745: -1 + 0 = -1
- addx746: -1 + -0 = -1
- addx747: 1 + 0 = 1
- addx748: 1 + -0 = 1
- addx751: 0.0 + -1 = -1.0
- addx752: -0.0 + -1 = -1.0
- addx753: 0.0 + 1 = 1.0
- addx754: -0.0 + 1 = 1.0
- addx755: -1.0 + 0 = -1.0
- addx756: -1.0 + -0 = -1.0
- addx757: 1.0 + 0 = 1.0
- addx758: 1.0 + -0 = 1.0
- addx761: 0 + -1.0 = -1.0
- addx762: -0 + -1.0 = -1.0
- addx763: 0 + 1.0 = 1.0
- addx764: -0 + 1.0 = 1.0
- addx765: -1 + 0.0 = -1.0
- addx766: -1 + -0.0 = -1.0
- addx767: 1 + 0.0 = 1.0
- addx768: 1 + -0.0 = 1.0
- addx771: 0.0 + -1.0 = -1.0
- addx772: -0.0 + -1.0 = -1.0
- addx773: 0.0 + 1.0 = 1.0
- addx774: -0.0 + 1.0 = 1.0
- addx775: -1.0 + 0.0 = -1.0
- addx776: -1.0 + -0.0 = -1.0
- addx777: 1.0 + 0.0 = 1.0
- addx778: 1.0 + -0.0 = 1.0
- addx780: -Inf + -Inf = -Infinity
- addx781: -Inf + -1000 = -Infinity
- addx782: -Inf + -1 = -Infinity
- addx783: -Inf + -0 = -Infinity
- addx784: -Inf + 0 = -Infinity
- addx785: -Inf + 1 = -Infinity
- addx786: -Inf + 1000 = -Infinity
- addx787: -1000 + -Inf = -Infinity
- addx788: -Inf + -Inf = -Infinity
- addx789: -1 + -Inf = -Infinity
- addx790: -0 + -Inf = -Infinity
- addx791: 0 + -Inf = -Infinity
- addx792: 1 + -Inf = -Infinity
- addx793: 1000 + -Inf = -Infinity
- addx794: Inf + -Inf = NaN invalid_operation
- addx800: Inf + -Inf = NaN invalid_operation
- addx801: Inf + -1000 = Infinity
- addx802: Inf + -1 = Infinity
- addx803: Inf + -0 = Infinity
- addx804: Inf + 0 = Infinity
- addx805: Inf + 1 = Infinity
- addx806: Inf + 1000 = Infinity
- addx807: Inf + Inf = Infinity
- addx808: -1000 + Inf = Infinity
- addx809: -Inf + Inf = NaN invalid_operation
- addx810: -1 + Inf = Infinity
- addx811: -0 + Inf = Infinity
- addx812: 0 + Inf = Infinity
- addx813: 1 + Inf = Infinity
- addx814: 1000 + Inf = Infinity
- addx815: Inf + Inf = Infinity
- addx821: NaN + -Inf = NaN
- addx822: NaN + -1000 = NaN
- addx823: NaN + -1 = NaN
- addx824: NaN + -0 = NaN
- addx825: NaN + 0 = NaN
- addx826: NaN + 1 = NaN
- addx827: NaN + 1000 = NaN
- addx828: NaN + Inf = NaN
- addx829: NaN + NaN = NaN
- addx830: -Inf + NaN = NaN
- addx831: -1000 + NaN = NaN
- addx832: -1 + NaN = NaN
- addx833: -0 + NaN = NaN
- addx834: 0 + NaN = NaN
- addx835: 1 + NaN = NaN
- addx836: 1000 + NaN = NaN
- addx837: Inf + NaN = NaN
- addx841: sNaN + -Inf = NaN invalid_operation
- addx842: sNaN + -1000 = NaN invalid_operation
- addx843: sNaN + -1 = NaN invalid_operation
- addx844: sNaN + -0 = NaN invalid_operation
- addx845: sNaN + 0 = NaN invalid_operation
- addx846: sNaN + 1 = NaN invalid_operation
- addx847: sNaN + 1000 = NaN invalid_operation
- addx848: sNaN + NaN = NaN invalid_operation
- addx849: sNaN + sNaN = NaN invalid_operation
- addx850: NaN + sNaN = NaN invalid_operation
- addx851: -Inf + sNaN = NaN invalid_operation
- addx852: -1000 + sNaN = NaN invalid_operation
- addx853: -1 + sNaN = NaN invalid_operation
- addx854: -0 + sNaN = NaN invalid_operation
- addx855: 0 + sNaN = NaN invalid_operation
- addx856: 1 + sNaN = NaN invalid_operation
- addx857: 1000 + sNaN = NaN invalid_operation
- addx858: Inf + sNaN = NaN invalid_operation
- addx859: NaN + sNaN = NaN invalid_operation
- addx861: NaN1 + -Inf = NaN1
- addx862: +NaN2 + -1000 = NaN2
- addx863: NaN3 + 1000 = NaN3
- addx864: NaN4 + Inf = NaN4
- addx865: NaN5 + +NaN6 = NaN5
- addx866: -Inf + NaN7 = NaN7
- addx867: -1000 + NaN8 = NaN8
- addx868: 1000 + NaN9 = NaN9
- addx869: Inf + +NaN10 = NaN10
- addx871: sNaN11 + -Inf = NaN11 invalid_operation
- addx872: sNaN12 + -1000 = NaN12 invalid_operation
- addx873: sNaN13 + 1000 = NaN13 invalid_operation
- addx874: sNaN14 + NaN17 = NaN14 invalid_operation
- addx875: sNaN15 + sNaN18 = NaN15 invalid_operation
- addx876: NaN16 + sNaN19 = NaN19 invalid_operation
- addx877: -Inf + +sNaN20 = NaN20 invalid_operation
- addx878: -1000 + sNaN21 = NaN21 invalid_operation
- addx879: 1000 + sNaN22 = NaN22 invalid_operation
- addx880: Inf + sNaN23 = NaN23 invalid_operation
- addx881: +NaN25 + +sNaN24 = NaN24 invalid_operation
- addx882: -NaN26 + NaN28 = -NaN26
- addx883: -sNaN27 + sNaN29 = -NaN27 invalid_operation
- addx884: 1000 + -NaN30 = -NaN30
- addx885: 1000 + -sNaN31 = -NaN31 invalid_operation
- e_max=999999999
- e_min=-999999999
- precision=9
- addx890: 1E+999999999 + 9E+999999999 = Infinity overflow inexact rounded
- addx891: 9E+999999999 + 1E+999999999 = Infinity overflow inexact rounded
- addx892: -1.1E-999999999 + 1E-999999999 = -1E-1000000000 subnormal
- addx893: 1E-999999999 + -1.1e-999999999 = -1E-1000000000 subnormal
- addx894: -1.0001E-999999999 + 1E-999999999 = -1E-1000000003 subnormal
- addx895: 1E-999999999 + -1.0001e-999999999 = -1E-1000000003 subnormal
- addx896: -1E+999999999 + -9E+999999999 = -Infinity overflow inexact rounded
- addx897: -9E+999999999 + -1E+999999999 = -Infinity overflow inexact rounded
- addx898: +1.1E-999999999 + -1E-999999999 = 1E-1000000000 subnormal
- addx899: -1E-999999999 + +1.1e-999999999 = 1E-1000000000 subnormal
- addx900: +1.0001E-999999999 + -1E-999999999 = 1E-1000000003 subnormal
- addx901: -1E-999999999 + +1.0001e-999999999 = 1E-1000000003 subnormal
- addx902: -1E+999999999 + +9E+999999999 = 8E+999999999
- addx903: -9E+999999999 + +1E+999999999 = -8E+999999999
- precision=3
- addx904: 0 + -9.999E+999999999 = -Infinity inexact overflow rounded
- addx905: -9.999E+999999999 + 0 = -Infinity inexact overflow rounded
- addx906: 0 + 9.999E+999999999 = Infinity inexact overflow rounded
- addx907: 9.999E+999999999 + 0 = Infinity inexact overflow rounded
- precision=3
- e_max=999
- e_min=-999
- addx910: 1.00E-999 + 0 = 1.00E-999
- addx911: 0.1E-999 + 0 = 1E-1000 subnormal
- addx912: 0.10E-999 + 0 = 1.0E-1000 subnormal
- addx913: 0.100E-999 + 0 = 1.0E-1000 subnormal rounded
- addx914: 0.01E-999 + 0 = 1E-1001 subnormal
- addx915: 0.999E-999 + 0 = 1.00E-999 inexact rounded subnormal underflow
- addx916: 0.099E-999 + 0 = 1.0E-1000 inexact rounded subnormal underflow
- addx917: 0.009E-999 + 0 = 1E-1001 inexact rounded subnormal underflow
- addx918: 0.001E-999 + 0 = 0E-1001 inexact rounded subnormal underflow clamped
- addx919: 0.0009E-999 + 0 = 0E-1001 inexact rounded subnormal underflow clamped
- addx920: 0.0001E-999 + 0 = 0E-1001 inexact rounded subnormal underflow clamped
- addx930: -1.00E-999 + 0 = -1.00E-999
- addx931: -0.1E-999 + 0 = -1E-1000 subnormal
- addx932: -0.10E-999 + 0 = -1.0E-1000 subnormal
- addx933: -0.100E-999 + 0 = -1.0E-1000 subnormal rounded
- addx934: -0.01E-999 + 0 = -1E-1001 subnormal
- addx935: -0.999E-999 + 0 = -1.00E-999 inexact rounded subnormal underflow
- addx936: -0.099E-999 + 0 = -1.0E-1000 inexact rounded subnormal underflow
- addx937: -0.009E-999 + 0 = -1E-1001 inexact rounded subnormal underflow
- addx938: -0.001E-999 + 0 = -0E-1001 inexact rounded subnormal underflow clamped
- addx939: -0.0009E-999 + 0 = -0E-1001 inexact rounded subnormal underflow clamped
- addx940: -0.0001E-999 + 0 = -0E-1001 inexact rounded subnormal underflow clamped
- addx950: 1.00E-999 + 0.1E-999 = 1.10E-999
- addx951: 0.1E-999 + 0.1E-999 = 2E-1000 subnormal
- addx952: 0.10E-999 + 0.1E-999 = 2.0E-1000 subnormal
- addx953: 0.100E-999 + 0.1E-999 = 2.0E-1000 subnormal rounded
- addx954: 0.01E-999 + 0.1E-999 = 1.1E-1000 subnormal
- addx955: 0.999E-999 + 0.1E-999 = 1.10E-999 inexact rounded
- addx956: 0.099E-999 + 0.1E-999 = 2.0E-1000 inexact rounded subnormal underflow
- addx957: 0.009E-999 + 0.1E-999 = 1.1E-1000 inexact rounded subnormal underflow
- addx958: 0.001E-999 + 0.1E-999 = 1.0E-1000 inexact rounded subnormal underflow
- addx959: 0.0009E-999 + 0.1E-999 = 1.0E-1000 inexact rounded subnormal underflow
- addx960: 0.0001E-999 + 0.1E-999 = 1.0E-1000 inexact rounded subnormal underflow
- addx961: 1.00E-999 + -0.1E-999 = 9.0E-1000 subnormal
- addx962: 0.1E-999 + -0.1E-999 = 0E-1000
- addx963: 0.10E-999 + -0.1E-999 = 0E-1001
- addx964: 0.100E-999 + -0.1E-999 = 0E-1001 clamped
- addx965: 0.01E-999 + -0.1E-999 = -9E-1001 subnormal
- addx966: 0.999E-999 + -0.1E-999 = 9.0E-1000 inexact rounded subnormal underflow
- addx967: 0.099E-999 + -0.1E-999 = -0E-1001 inexact rounded subnormal underflow clamped
- addx968: 0.009E-999 + -0.1E-999 = -9E-1001 inexact rounded subnormal underflow
- addx969: 0.001E-999 + -0.1E-999 = -1.0E-1000 inexact rounded subnormal underflow
- addx970: 0.0009E-999 + -0.1E-999 = -1.0E-1000 inexact rounded subnormal underflow
- addx971: 0.0001E-999 + -0.1E-999 = -1.0E-1000 inexact rounded subnormal underflow
- e_max=384
- e_min=-383
- precision=8
- addx566: 99999061735E-394 + 0E-394 = 9.999906E-384 inexact rounded underflow subnormal
- precision=7
- addx567: 99999061735E-394 + 0E-394 = 9.99991E-384 inexact rounded underflow subnormal
- precision=6
- addx568: 99999061735E-394 + 0E-394 = 9.9999E-384 inexact rounded underflow subnormal
- precision=16
- round=half_up
- e_max=384
- e_min=-383
- addx571: 1E-383 + 0 = 1E-383
- addx572: 1E-384 + 0 = 1E-384 subnormal
- addx573: 1E-383 + 1E-384 = 1.1E-383
- addx574: 1E-383 - 1E-384 = 9E-384 subnormal
- addx575: 1E-383 - 1E-398 = 9.99999999999999E-384 subnormal
- addx576: 1E-383 - 1E-398 = 9.99999999999999E-384 subnormal
- addx577: 1E-383 - 1E-399 = 1.000000000000000E-383 underflow inexact subnormal rounded
- addx578: 1E-383 - 1E-400 = 1.000000000000000E-383 underflow inexact subnormal rounded
- addx579: 1E-383 - 1E-401 = 1.000000000000000E-383 underflow inexact subnormal rounded
- addx580: 1E-383 - 1E-402 = 1.000000000000000E-383 underflow inexact subnormal rounded
- precision=7
- round=half_up
- e_max=96
- e_min=-95
- addx972:
- addx973: 9.999999E+96 + 1 = 9.999999E+96 inexact rounded
- addx974: 9999999E+90 + 1 = 9.999999E+96 inexact rounded
- addx975: 9999999E+90 + 1E+90 = Infinity overflow inexact rounded
- addx976: 9999999E+90 + 9E+89 = Infinity overflow inexact rounded
- addx977: 9999999E+90 + 8E+89 = Infinity overflow inexact rounded
- addx978: 9999999E+90 + 7E+89 = Infinity overflow inexact rounded
- addx979: 9999999E+90 + 6E+89 = Infinity overflow inexact rounded
- addx980: 9999999E+90 + 5E+89 = Infinity overflow inexact rounded
- addx981: 9999999E+90 + 4E+89 = 9.999999E+96 inexact rounded
- addx982: 9999999E+90 + 3E+89 = 9.999999E+96 inexact rounded
- addx983: 9999999E+90 + 2E+89 = 9.999999E+96 inexact rounded
- addx984: 9999999E+90 + 1E+89 = 9.999999E+96 inexact rounded
- addx985:
- addx986: -9.999999E+96 + -1 = -9.999999E+96 inexact rounded
- addx987: -9999999E+90 + -1 = -9.999999E+96 inexact rounded
- addx988: -9999999E+90 + -1E+90 = -Infinity overflow inexact rounded
- addx989: -9999999E+90 + -9E+89 = -Infinity overflow inexact rounded
- addx990: -9999999E+90 + -8E+89 = -Infinity overflow inexact rounded
- addx991: -9999999E+90 + -7E+89 = -Infinity overflow inexact rounded
- addx992: -9999999E+90 + -6E+89 = -Infinity overflow inexact rounded
- addx993: -9999999E+90 + -5E+89 = -Infinity overflow inexact rounded
- addx994: -9999999E+90 + -4E+89 = -9.999999E+96 inexact rounded
- addx995: -9999999E+90 + -3E+89 = -9.999999E+96 inexact rounded
- addx996: -9999999E+90 + -2E+89 = -9.999999E+96 inexact rounded
- addx997: -9999999E+90 + -1E+89 = -9.999999E+96 inexact rounded
- precision=5
- e_max=79
- e_min=-79
- addx1001: 1.52444E-80 + 0 = 1.524E-80 inexact rounded subnormal underflow
- addx1002: 1.52445E-80 + 0 = 1.524E-80 inexact rounded subnormal underflow
- addx1003: 1.52446E-80 + 0 = 1.524E-80 inexact rounded subnormal underflow
- addx1004: 0 + 1.52444E-80 = 1.524E-80 inexact rounded subnormal underflow
- addx1005: 0 + 1.52445E-80 = 1.524E-80 inexact rounded subnormal underflow
- addx1006: 0 + 1.52446E-80 = 1.524E-80 inexact rounded subnormal underflow
- addx1011: 1.52444E-80 + 1E-100 = 1.524E-80 inexact rounded subnormal underflow
- addx1012: 1.52445E-80 + 1E-100 = 1.524E-80 inexact rounded subnormal underflow
- addx1013: 1.52446E-80 + 1E-100 = 1.524E-80 inexact rounded subnormal underflow
- addx1014: 1E-100 + 1.52444E-80 = 1.524E-80 inexact rounded subnormal underflow
- addx1015: 1E-100 + 1.52445E-80 = 1.524E-80 inexact rounded subnormal underflow
- addx1016: 1E-100 + 1.52446E-80 = 1.524E-80 inexact rounded subnormal underflow
- addx1021: 1.52443E-80 + 1.00001E-80 = 2.524E-80 inexact rounded subnormal underflow
- addx1022: 1.52444E-80 + 1.00001E-80 = 2.524E-80 inexact rounded subnormal underflow
- addx1023: 1.52445E-80 + 1.00001E-80 = 2.524E-80 inexact rounded subnormal underflow
- addx1024: 1.00001E-80 + 1.52443E-80 = 2.524E-80 inexact rounded subnormal underflow
- addx1025: 1.00001E-80 + 1.52444E-80 = 2.524E-80 inexact rounded subnormal underflow
- addx1026: 1.00001E-80 + 1.52445E-80 = 2.524E-80 inexact rounded subnormal underflow
- precision=16
- e_max=384
- e_min=-383
- round=down
- addx1100: 1e+2 + -1e-383 = 99.99999999999999 rounded inexact
- addx1101: 1e+1 + -1e-383 = 9.999999999999999 rounded inexact
- addx1103: +1 + -1e-383 = 0.9999999999999999 rounded inexact
- addx1104: 1e-1 + -1e-383 = 0.09999999999999999 rounded inexact
- addx1105: 1e-2 + -1e-383 = 0.009999999999999999 rounded inexact
- addx1106: 1e-3 + -1e-383 = 0.0009999999999999999 rounded inexact
- addx1107: 1e-4 + -1e-383 = 0.00009999999999999999 rounded inexact
- addx1108: 1e-5 + -1e-383 = 0.000009999999999999999 rounded inexact
- addx1109: 1e-6 + -1e-383 = 9.999999999999999E-7 rounded inexact
- round=ceiling
- addx1110: -1e+2 + +1e-383 = -99.99999999999999 rounded inexact
- addx1111: -1e+1 + +1e-383 = -9.999999999999999 rounded inexact
- addx1113: -1 + +1e-383 = -0.9999999999999999 rounded inexact
- addx1114: -1e-1 + +1e-383 = -0.09999999999999999 rounded inexact
- addx1115: -1e-2 + +1e-383 = -0.009999999999999999 rounded inexact
- addx1116: -1e-3 + +1e-383 = -0.0009999999999999999 rounded inexact
- addx1117: -1e-4 + +1e-383 = -0.00009999999999999999 rounded inexact
- addx1118: -1e-5 + +1e-383 = -0.000009999999999999999 rounded inexact
- addx1119: -1e-6 + +1e-383 = -9.999999999999999E-7 rounded inexact
- addx1120: +1e-383 + -1e+2 = -99.99999999999999 rounded inexact
- addx1121: +1e-383 + -1e+1 = -9.999999999999999 rounded inexact
- addx1123: +1e-383 + -1 = -0.9999999999999999 rounded inexact
- addx1124: +1e-383 + -1e-1 = -0.09999999999999999 rounded inexact
- addx1125: +1e-383 + -1e-2 = -0.009999999999999999 rounded inexact
- addx1126: +1e-383 + -1e-3 = -0.0009999999999999999 rounded inexact
- addx1127: +1e-383 + -1e-4 = -0.00009999999999999999 rounded inexact
- addx1128: +1e-383 + -1e-5 = -0.000009999999999999999 rounded inexact
- addx1129: +1e-383 + -1e-6 = -9.999999999999999E-7 rounded inexact
- round=down
- precision=7
- e_max=96
- e_min=-95
- addx1130: 1 + -1e-200 = 0.9999999 rounded inexact
- addx1131: 1.000000E-94 + -1e-200 = 9.999999E-95 rounded inexact
- addx1132: 1.000001E-95 + -1e-200 = 1.000000E-95 rounded inexact
- addx1133: 1.000000E-95 + -1e-200 = 9.99999E-96 rounded inexact subnormal underflow
- addx1134: 0.999999E-95 + -1e-200 = 9.99998E-96 rounded inexact subnormal underflow
- addx1135: 0.001000E-95 + -1e-200 = 9.99E-99 rounded inexact subnormal underflow
- addx1136: 0.000999E-95 + -1e-200 = 9.98E-99 rounded inexact subnormal underflow
- addx1137: 1.000000E-95 + -1e-101 = 9.99999E-96 subnormal
- addx1138: 10000E-101 + -1e-200 = 9.999E-98 subnormal inexact rounded underflow
- addx1139: 1000E-101 + -1e-200 = 9.99E-99 subnormal inexact rounded underflow
- addx1140: 100E-101 + -1e-200 = 9.9E-100 subnormal inexact rounded underflow
- addx1141: 10E-101 + -1e-200 = 9E-101 subnormal inexact rounded underflow
- addx1142: 1E-101 + -1e-200 = 0E-101 subnormal inexact rounded underflow clamped
- addx1143: 0E-101 + -1e-200 = -0E-101 subnormal inexact rounded underflow clamped
- addx1144: 1E-102 + -1e-200 = 0E-101 subnormal inexact rounded underflow clamped
- addx1151: 10000E-102 + -1e-200 = 9.99E-99 subnormal inexact rounded underflow
- addx1152: 1000E-102 + -1e-200 = 9.9E-100 subnormal inexact rounded underflow
- addx1153: 100E-102 + -1e-200 = 9E-101 subnormal inexact rounded underflow
- addx1154: 10E-102 + -1e-200 = 0E-101 subnormal inexact rounded underflow clamped
- addx1155: 1E-102 + -1e-200 = 0E-101 subnormal inexact rounded underflow clamped
- addx1156: 0E-102 + -1e-200 = -0E-101 subnormal inexact rounded underflow clamped
- addx1157: 1E-103 + -1e-200 = 0E-101 subnormal inexact rounded underflow clamped
- addx1160: 100E-105 + -1e-101 = -0E-101 subnormal inexact rounded underflow clamped
- addx1161: 100E-105 + -1e-201 = 0E-101 subnormal inexact rounded underflow clamped
- precision=15
- round=half_up
- e_max=384
- e_min=-383
- addx1200: 1E15 + -0.5 = 1.00000000000000E+15 inexact rounded
- addx1201: 1E15 + -0.50 = 1.00000000000000E+15 inexact rounded
- addx1210: 1E15 + -0.51 = 999999999999999 inexact rounded
- addx1211: 1E15 + -0.501 = 999999999999999 inexact rounded
- addx1212: 1E15 + -0.5001 = 999999999999999 inexact rounded
- addx1213: 1E15 + -0.50001 = 999999999999999 inexact rounded
- addx1214: 1E15 + -0.500001 = 999999999999999 inexact rounded
- addx1215: 1E15 + -0.5000001 = 999999999999999 inexact rounded
- addx1216: 1E15 + -0.50000001 = 999999999999999 inexact rounded
- addx1217: 1E15 + -0.500000001 = 999999999999999 inexact rounded
- addx1218: 1E15 + -0.5000000001 = 999999999999999 inexact rounded
- addx1219: 1E15 + -0.50000000001 = 999999999999999 inexact rounded
- addx1220: 1E15 + -0.500000000001 = 999999999999999 inexact rounded
- addx1221: 1E15 + -0.5000000000001 = 999999999999999 inexact rounded
- addx1222: 1E15 + -0.50000000000001 = 999999999999999 inexact rounded
- addx1223: 1E15 + -0.500000000000001 = 999999999999999 inexact rounded
- addx1224: 1E15 + -0.5000000000000001 = 999999999999999 inexact rounded
- addx1225: 1E15 + -0.5000000000000000 = 1.00000000000000E+15 inexact rounded
- addx1230: 1E15 + -5000000.000000001 = 999999995000000 inexact rounded
- precision=16
- addx1300: 1E16 + -0.5 = 1.000000000000000E+16 inexact rounded
- addx1310: 1E16 + -0.51 = 9999999999999999 inexact rounded
- addx1311: 1E16 + -0.501 = 9999999999999999 inexact rounded
- addx1312: 1E16 + -0.5001 = 9999999999999999 inexact rounded
- addx1313: 1E16 + -0.50001 = 9999999999999999 inexact rounded
- addx1314: 1E16 + -0.500001 = 9999999999999999 inexact rounded
- addx1315: 1E16 + -0.5000001 = 9999999999999999 inexact rounded
- addx1316: 1E16 + -0.50000001 = 9999999999999999 inexact rounded
- addx1317: 1E16 + -0.500000001 = 9999999999999999 inexact rounded
- addx1318: 1E16 + -0.5000000001 = 9999999999999999 inexact rounded
- addx1319: 1E16 + -0.50000000001 = 9999999999999999 inexact rounded
- addx1320: 1E16 + -0.500000000001 = 9999999999999999 inexact rounded
- addx1321: 1E16 + -0.5000000000001 = 9999999999999999 inexact rounded
- addx1322: 1E16 + -0.50000000000001 = 9999999999999999 inexact rounded
- addx1323: 1E16 + -0.500000000000001 = 9999999999999999 inexact rounded
- addx1324: 1E16 + -0.5000000000000001 = 9999999999999999 inexact rounded
- ...TRUNCATED BY DUNE...
- mulx908: 9.999999999999999E-383 × 0.09999999999999999 = 1.000000000000000E-383 underflow inexact subnormal rounded
- mulx909: 9.999999999999999E-383 × 0.099999999999999999 = 1.000000000000000E-383 underflow inexact subnormal rounded
- mulx910: 9.999999999999999E-383 × 0.0999999999999999999 = 1.000000000000000E-383 underflow inexact subnormal rounded
- mulx911: 9.999999999999999E-383 × 0.09999999999999999999 = 1.000000000000000E-383 underflow inexact subnormal rounded
- precision=34
- round=half_up
- e_max=6144
- e_min=-6143
- mulx1001: 130E-2 × 120E-2 = 1.5600
- mulx1002: 130E-2 × 12E-1 = 1.560
- mulx1003: 130E-2 × 1E0 = 1.30
- mulx1004: 1E2 × 1E4 = 1E+6
- precision=5
- mulx1010: 11 × -sNaN1234567890 = -NaN67890 invalid_operation
- mulx990: 10 × # = NaN invalid_operation
- mulx991: # × 10 = NaN invalid_operationTest file: data/remainder.decTest
- Test file version: 2.59
-
- precision=9
- round=half_up
- e_max=384
- e_min=-383
- remx001: 1 mod 1 = 0
- remx002: 2 mod 1 = 0
- remx003: 1 mod 2 = 1
- remx004: 2 mod 2 = 0
- remx005: 0 mod 1 = 0
- remx006: 0 mod 2 = 0
- remx007: 1 mod 3 = 1
- remx008: 2 mod 3 = 2
- remx009: 3 mod 3 = 0
- remx010: 2.4 mod 1 = 0.4
- remx011: 2.4 mod -1 = 0.4
- remx012: -2.4 mod 1 = -0.4
- remx013: -2.4 mod -1 = -0.4
- remx014: 2.40 mod 1 = 0.40
- remx015: 2.400 mod 1 = 0.400
- remx016: 2.4 mod 2 = 0.4
- remx017: 2.400 mod 2 = 0.400
- remx018: 2. mod 2 = 0
- remx019: 20 mod 20 = 0
- remx020: 187 mod 187 = 0
- remx021: 5 mod 2 = 1
- remx022: 5 mod 2.0 = 1.0
- remx023: 5 mod 2.000 = 1.000
- remx024: 5 mod 0.200 = 0.000
- remx025: 5 mod 0.200 = 0.000
- remx030: 1 mod 2 = 1
- remx031: 1 mod 4 = 1
- remx032: 1 mod 8 = 1
- remx033: 1 mod 16 = 1
- remx034: 1 mod 32 = 1
- remx035: 1 mod 64 = 1
- remx040: 1 mod -2 = 1
- remx041: 1 mod -4 = 1
- remx042: 1 mod -8 = 1
- remx043: 1 mod -16 = 1
- remx044: 1 mod -32 = 1
- remx045: 1 mod -64 = 1
- remx050: -1 mod 2 = -1
- remx051: -1 mod 4 = -1
- remx052: -1 mod 8 = -1
- remx053: -1 mod 16 = -1
- remx054: -1 mod 32 = -1
- remx055: -1 mod 64 = -1
- remx060: -1 mod -2 = -1
- remx061: -1 mod -4 = -1
- remx062: -1 mod -8 = -1
- remx063: -1 mod -16 = -1
- remx064: -1 mod -32 = -1
- remx065: -1 mod -64 = -1
- remx066: 999999999 mod 1 = 0
- remx067: 999999999.4 mod 1 = 0.4
- remx068: 999999999.5 mod 1 = 0.5
- remx069: 999999999.9 mod 1 = 0.9
- remx070: 999999999.999 mod 1 = 0.999
- precision=6
- remx071: 999999999 mod 1 = NaN div_impossible
- remx072: 99999999 mod 1 = NaN div_impossible
- remx073: 9999999 mod 1 = NaN div_impossible
- remx074: 999999 mod 1 = 0
- remx075: 99999 mod 1 = 0
- remx076: 9999 mod 1 = 0
- remx077: 999 mod 1 = 0
- remx078: 99 mod 1 = 0
- remx079: 9 mod 1 = 0
- precision=9
- remx080: 0. mod 1 = 0
- remx081: .0 mod 1 = 0.0
- remx082: 0.00 mod 1 = 0.00
- remx083: 0.00E+9 mod 1 = 0
- remx084: 0.00E+3 mod 1 = 0
- remx085: 0.00E+2 mod 1 = 0
- remx086: 0.00E+1 mod 1 = 0.0
- remx087: 0.00E+0 mod 1 = 0.00
- remx088: 0.00E-0 mod 1 = 0.00
- remx089: 0.00E-1 mod 1 = 0.000
- remx090: 0.00E-2 mod 1 = 0.0000
- remx091: 0.00E-3 mod 1 = 0.00000
- remx092: 0.00E-4 mod 1 = 0.000000
- remx093: 0.00E-5 mod 1 = 0E-7
- remx094: 0.00E-6 mod 1 = 0E-8
- remx095: 0.0000E-50 mod 1 = 0E-54
- precision=9
- e_max=999999999
- e_min=-999999999
- remx101: 0 mod 0 = NaN div_undefined
- remx102: 0 mod -0 = NaN div_undefined
- remx103: -0 mod 0 = NaN div_undefined
- remx104: -0 mod -0 = NaN div_undefined
- remx105: 0.0E5 mod 0 = NaN div_undefined
- remx106: 0.000 mod 0 = NaN div_undefined
- remx107: 0.0001 mod 0 = NaN invalid_operation
- remx108: 0.01 mod 0 = NaN invalid_operation
- remx109: 0.1 mod 0 = NaN invalid_operation
- remx110: 1 mod 0 = NaN invalid_operation
- remx111: 1 mod 0.0 = NaN invalid_operation
- remx112: 10 mod 0.0 = NaN invalid_operation
- remx113: 1E+100 mod 0.0 = NaN invalid_operation
- remx114: 1E+1000 mod 0 = NaN invalid_operation
- remx115: 0.0001 mod -0 = NaN invalid_operation
- remx116: 0.01 mod -0 = NaN invalid_operation
- remx119: 0.1 mod -0 = NaN invalid_operation
- remx120: 1 mod -0 = NaN invalid_operation
- remx121: 1 mod -0.0 = NaN invalid_operation
- remx122: 10 mod -0.0 = NaN invalid_operation
- remx123: 1E+100 mod -0.0 = NaN invalid_operation
- remx124: 1E+1000 mod -0 = NaN invalid_operation
- remx130: 0 mod 1 = 0
- remx131: 0 mod -1 = 0
- remx132: 0.0 mod 1 = 0.0
- remx133: 0.0 mod -1 = 0.0
- remx134: -0 mod 1 = -0
- remx135: -0 mod -1 = -0
- remx136: -0.0 mod 1 = -0.0
- remx137: -0.0 mod -1 = -0.0
- remx143: 0.5 mod 2 = 0.5
- remx144: 0.5 mod 2.1 = 0.5
- remx145: 0.5 mod 2.01 = 0.50
- remx146: 0.5 mod 2.001 = 0.500
- remx147: 0.50 mod 2 = 0.50
- remx148: 0.50 mod 2.01 = 0.50
- remx149: 0.50 mod 2.001 = 0.500
- remx150: 1 mod 1 = 0
- remx151: 1 mod 2 = 1
- remx152: 1 mod 3 = 1
- remx153: 1 mod 4 = 1
- remx154: 1 mod 5 = 1
- remx155: 1 mod 6 = 1
- remx156: 1 mod 7 = 1
- remx157: 1 mod 8 = 1
- remx158: 1 mod 9 = 1
- remx159: 1 mod 10 = 1
- remx160: 1 mod 1 = 0
- remx161: 2 mod 1 = 0
- remx162: 3 mod 1 = 0
- remx163: 4 mod 1 = 0
- remx164: 5 mod 1 = 0
- remx165: 6 mod 1 = 0
- remx166: 7 mod 1 = 0
- remx167: 8 mod 1 = 0
- remx168: 9 mod 1 = 0
- remx169: 10 mod 1 = 0
- remx171: 0.4 mod 1.020 = 0.400
- remx172: 0.50 mod 1.020 = 0.500
- remx173: 0.51 mod 1.020 = 0.510
- remx174: 0.52 mod 1.020 = 0.520
- remx175: 0.6 mod 1.020 = 0.600
- e_max=999999999
- e_min=-999999999
- remx201: 0 mod 0 = NaN div_undefined
- remx202: 0.0E5 mod 0 = NaN div_undefined
- remx203: 0.000 mod 0 = NaN div_undefined
- remx204: 0.0001 mod 0 = NaN invalid_operation
- remx205: 0.01 mod 0 = NaN invalid_operation
- remx206: 0.1 mod 0 = NaN invalid_operation
- remx207: 1 mod 0 = NaN invalid_operation
- remx208: 1 mod 0.0 = NaN invalid_operation
- remx209: 10 mod 0.0 = NaN invalid_operation
- remx210: 1E+100 mod 0.0 = NaN invalid_operation
- remx211: 1E+1000 mod 0 = NaN invalid_operation
- remx231: -0.4 mod 1.020 = -0.400
- remx232: -0.50 mod 1.020 = -0.500
- remx233: -0.51 mod 1.020 = -0.510
- remx234: -0.52 mod 1.020 = -0.520
- remx235: -0.6 mod 1.020 = -0.600
- remx240: 1E+2 mod 1.00 = 0.00
- e_max=999999999
- e_min=-999999999
- remx270: 1 mod 1e999999999 = 1
- remx271: 1 mod 0.9e999999999 = 1
- remx272: 1 mod 0.99e999999999 = 1
- remx273: 1 mod 0.999999999e999999999 = 1
- remx274: 9e999999999 mod 1 = NaN div_impossible
- remx275: 9.9e999999999 mod 1 = NaN div_impossible
- remx276: 9.99e999999999 mod 1 = NaN div_impossible
- remx277: 9.99999999e999999999 mod 1 = NaN div_impossible
- remx280: 0.1 mod 9e-999999999 = NaN div_impossible
- remx281: 0.1 mod 99e-999999999 = NaN div_impossible
- remx282: 0.1 mod 999e-999999999 = NaN div_impossible
- remx283: 0.1 mod 9e-999999998 = NaN div_impossible
- remx284: 0.1 mod 99e-999999998 = NaN div_impossible
- remx285: 0.1 mod 999e-999999998 = NaN div_impossible
- remx286: 0.1 mod 999e-999999997 = NaN div_impossible
- remx287: 0.1 mod 9999e-999999997 = NaN div_impossible
- remx288: 0.1 mod 99999e-999999997 = NaN div_impossible
- remx301: 1 mod 3 = 1
- remx302: 5 mod 5 = 0
- remx303: 13 mod 10 = 3
- remx304: 13 mod 50 = 13
- remx305: 13 mod 100 = 13
- remx306: 13 mod 1000 = 13
- remx307: .13 mod 1 = 0.13
- remx308: 0.133 mod 1 = 0.133
- remx309: 0.1033 mod 1 = 0.1033
- remx310: 1.033 mod 1 = 0.033
- remx311: 10.33 mod 1 = 0.33
- remx312: 10.33 mod 10 = 0.33
- remx313: 103.3 mod 1 = 0.3
- remx314: 133 mod 10 = 3
- remx315: 1033 mod 10 = 3
- remx316: 1033 mod 50 = 33
- remx317: 101.0 mod 3 = 2.0
- remx318: 102.0 mod 3 = 0.0
- remx319: 103.0 mod 3 = 1.0
- remx320: 2.40 mod 1 = 0.40
- remx321: 2.400 mod 1 = 0.400
- remx322: 2.4 mod 1 = 0.4
- remx323: 2.4 mod 2 = 0.4
- remx324: 2.400 mod 2 = 0.400
- remx325: 1 mod 0.3 = 0.1
- remx326: 1 mod 0.30 = 0.10
- remx327: 1 mod 0.300 = 0.100
- remx328: 1 mod 0.3000 = 0.1000
- remx329: 1.0 mod 0.3 = 0.1
- remx330: 1.00 mod 0.3 = 0.10
- remx331: 1.000 mod 0.3 = 0.100
- remx332: 1.0000 mod 0.3 = 0.1000
- remx333: 0.5 mod 2 = 0.5
- remx334: 0.5 mod 2.1 = 0.5
- remx335: 0.5 mod 2.01 = 0.50
- remx336: 0.5 mod 2.001 = 0.500
- remx337: 0.50 mod 2 = 0.50
- remx338: 0.50 mod 2.01 = 0.50
- remx339: 0.50 mod 2.001 = 0.500
- remx340: 0.5 mod 0.5000001 = 0.5000000
- remx341: 0.5 mod 0.50000001 = 0.50000000
- remx342: 0.5 mod 0.500000001 = 0.500000000
- remx343: 0.5 mod 0.5000000001 = 0.500000000 rounded
- remx344: 0.5 mod 0.50000000001 = 0.500000000 rounded
- remx345: 0.5 mod 0.4999999 = 1E-7
- remx346: 0.5 mod 0.49999999 = 1E-8
- remx347: 0.5 mod 0.499999999 = 1E-9
- remx348: 0.5 mod 0.4999999999 = 1E-10
- remx349: 0.5 mod 0.49999999999 = 1E-11
- remx350: 0.5 mod 0.499999999999 = 1E-12
- remx351: 0.03 mod 7 = 0.03
- remx352: 5 mod 2 = 1
- remx353: 4.1 mod 2 = 0.1
- remx354: 4.01 mod 2 = 0.01
- remx355: 4.001 mod 2 = 0.001
- remx356: 4.0001 mod 2 = 0.0001
- remx357: 4.00001 mod 2 = 0.00001
- remx358: 4.000001 mod 2 = 0.000001
- remx359: 4.0000001 mod 2 = 1E-7
- remx360: 1.2 mod 0.7345 = 0.4655
- remx361: 0.8 mod 12 = 0.8
- remx362: 0.8 mod 0.2 = 0.0
- remx363: 0.8 mod 0.3 = 0.2
- remx364: 0.800 mod 12 = 0.800
- remx365: 0.800 mod 1.7 = 0.800
- remx366: 2.400 mod 2 = 0.400
- precision=6
- remx371: 2.400 mod 2 = 0.400
- precision=3
- remx372: 12345678900000 mod 12e+12 = 3.46E+11 inexact rounded
- precision=5
- remx381: 12345 mod 1 = 0
- remx382: 12345 mod 1.0001 = 0.7657
- remx383: 12345 mod 1.001 = 0.668
- remx384: 12345 mod 1.01 = 0.78
- remx385: 12345 mod 1.1 = 0.8
- remx386: 12355 mod 4 = 3
- remx387: 12345 mod 4 = 1
- remx388: 12355 mod 4.0001 = 2.6912
- remx389: 12345 mod 4.0001 = 0.6914
- remx390: 12345 mod 4.9 = 1.9
- remx391: 12345 mod 4.99 = 4.73
- remx392: 12345 mod 4.999 = 2.469
- remx393: 12345 mod 4.9999 = 0.2469
- remx394: 12345 mod 5 = 0
- remx395: 12345 mod 5.0001 = 4.7532
- remx396: 12345 mod 5.001 = 2.532
- remx397: 12345 mod 5.01 = 0.36
- remx398: 12345 mod 5.1 = 3.0
- precision=9
- remx401: 0.5 mod 1 = 0.5
- remx402: 0.55 mod 1 = 0.55
- remx403: 0.555 mod 1 = 0.555
- remx404: 0.5555 mod 1 = 0.5555
- remx405: 0.55555 mod 1 = 0.55555
- remx406: 0.555555 mod 1 = 0.555555
- remx407: 0.5555555 mod 1 = 0.5555555
- remx408: 0.55555555 mod 1 = 0.55555555
- remx409: 0.555555555 mod 1 = 0.555555555
- remx650: 1 mod 1 = 0
- remx651: -1 mod 1 = -0
- remx652: 1 mod -1 = 0
- remx653: -1 mod -1 = -0
- remx654: 0 mod 1 = 0
- remx655: -0 mod 1 = -0
- remx656: 0 mod -1 = 0
- remx657: -0 mod -1 = -0
- remx658: 0.00 mod 1 = 0.00
- remx659: -0.00 mod 1 = -0.00
- remx680: Inf mod -Inf = NaN invalid_operation
- remx681: Inf mod -1000 = NaN invalid_operation
- remx682: Inf mod -1 = NaN invalid_operation
- remx683: Inf mod 0 = NaN invalid_operation
- remx684: Inf mod -0 = NaN invalid_operation
- remx685: Inf mod 1 = NaN invalid_operation
- remx686: Inf mod 1000 = NaN invalid_operation
- remx687: Inf mod Inf = NaN invalid_operation
- remx688: -1000 mod Inf = -1000
- remx689: -Inf mod Inf = NaN invalid_operation
- remx691: -1 mod Inf = -1
- remx692: 0 mod Inf = 0
- remx693: -0 mod Inf = -0
- remx694: 1 mod Inf = 1
- remx695: 1000 mod Inf = 1000
- remx696: Inf mod Inf = NaN invalid_operation
- remx700: -Inf mod -Inf = NaN invalid_operation
- remx701: -Inf mod -1000 = NaN invalid_operation
- remx702: -Inf mod -1 = NaN invalid_operation
- remx703: -Inf mod -0 = NaN invalid_operation
- remx704: -Inf mod 0 = NaN invalid_operation
- remx705: -Inf mod 1 = NaN invalid_operation
- remx706: -Inf mod 1000 = NaN invalid_operation
- remx707: -Inf mod Inf = NaN invalid_operation
- remx708: -Inf mod -Inf = NaN invalid_operation
- remx709: -1000 mod Inf = -1000
- remx710: -1 mod -Inf = -1
- remx711: -0 mod -Inf = -0
- remx712: 0 mod -Inf = 0
- remx713: 1 mod -Inf = 1
- remx714: 1000 mod -Inf = 1000
- remx715: Inf mod -Inf = NaN invalid_operation
- remx721: NaN mod -Inf = NaN
- remx722: NaN mod -1000 = NaN
- remx723: NaN mod -1 = NaN
- remx724: NaN mod -0 = NaN
- remx725: -NaN mod 0 = -NaN
- remx726: NaN mod 1 = NaN
- remx727: NaN mod 1000 = NaN
- remx728: NaN mod Inf = NaN
- remx729: NaN mod -NaN = NaN
- remx730: -Inf mod NaN = NaN
- remx731: -1000 mod NaN = NaN
- remx732: -1 mod NaN = NaN
- remx733: -0 mod -NaN = -NaN
- remx734: 0 mod NaN = NaN
- remx735: 1 mod -NaN = -NaN
- remx736: 1000 mod NaN = NaN
- remx737: Inf mod NaN = NaN
- remx741: sNaN mod -Inf = NaN invalid_operation
- remx742: sNaN mod -1000 = NaN invalid_operation
- remx743: -sNaN mod -1 = -NaN invalid_operation
- remx744: sNaN mod -0 = NaN invalid_operation
- remx745: sNaN mod 0 = NaN invalid_operation
- remx746: sNaN mod 1 = NaN invalid_operation
- remx747: sNaN mod 1000 = NaN invalid_operation
- remx749: sNaN mod NaN = NaN invalid_operation
- remx750: sNaN mod sNaN = NaN invalid_operation
- remx751: NaN mod sNaN = NaN invalid_operation
- remx752: -Inf mod sNaN = NaN invalid_operation
- remx753: -1000 mod sNaN = NaN invalid_operation
- remx754: -1 mod sNaN = NaN invalid_operation
- remx755: -0 mod sNaN = NaN invalid_operation
- remx756: 0 mod sNaN = NaN invalid_operation
- remx757: 1 mod sNaN = NaN invalid_operation
- remx758: 1000 mod sNaN = NaN invalid_operation
- remx759: Inf mod -sNaN = -NaN invalid_operation
- remx760: NaN1 mod NaN7 = NaN1
- remx761: sNaN2 mod NaN8 = NaN2 invalid_operation
- remx762: NaN3 mod sNaN9 = NaN9 invalid_operation
- remx763: sNaN4 mod sNaN10 = NaN4 invalid_operation
- remx764: 15 mod NaN11 = NaN11
- remx765: NaN6 mod NaN12 = NaN6
- remx766: Inf mod NaN13 = NaN13
- remx767: NaN14 mod -Inf = NaN14
- remx768: 0 mod NaN15 = NaN15
- remx769: NaN16 mod -0 = NaN16
- e_max=999999999
- e_min=-999999999
- remx770: 1 mod 1e999999999 = 1
- remx771: 1 mod 0.9e999999999 = 1
- remx772: 1 mod 0.99e999999999 = 1
- remx773: 1 mod 0.999999999e999999999 = 1
- remx774: 9e999999999 mod 1 = NaN div_impossible
- remx775: 9.9e999999999 mod 1 = NaN div_impossible
- remx776: 9.99e999999999 mod 1 = NaN div_impossible
- remx777: 9.99999999e999999999 mod 1 = NaN div_impossible
- e_max=999
- e_min=-999
- precision=9
- remx801: 12345678000 mod 100 = 0
- remx802: 1 mod 12345678000 = 1
- remx803: 1234567800 mod 10 = 0
- remx804: 1 mod 1234567800 = 1
- remx805: 1234567890 mod 10 = 0
- remx806: 1 mod 1234567890 = 1
- remx807: 1234567891 mod 10 = 1
- remx808: 1 mod 1234567891 = 1
- remx809: 12345678901 mod 100 = 1
- remx810: 1 mod 12345678901 = 1
- remx811: 1234567896 mod 10 = 6
- remx812: 1 mod 1234567896 = 1
- precision=15
- remx821: 12345678000 mod 100 = 0
- remx822: 1 mod 12345678000 = 1
- remx823: 1234567800 mod 10 = 0
- remx824: 1 mod 1234567800 = 1
- remx825: 1234567890 mod 10 = 0
- remx826: 1 mod 1234567890 = 1
- remx827: 1234567891 mod 10 = 1
- remx828: 1 mod 1234567891 = 1
- remx829: 12345678901 mod 100 = 1
- remx830: 1 mod 12345678901 = 1
- remx831: 1234567896 mod 10 = 6
- remx832: 1 mod 1234567896 = 1
- precision=8
- remx840: 100000000.0 mod 1 = NaN div_impossible
- remx841: 100000000.4 mod 1 = NaN div_impossible
- remx842: 100000000.5 mod 1 = NaN div_impossible
- remx843: 100000000.9 mod 1 = NaN div_impossible
- remx844: 100000000.999 mod 1 = NaN div_impossible
- precision=6
- remx850: 100000003 mod 5 = NaN div_impossible
- remx851: 10000003 mod 5 = NaN div_impossible
- remx852: 1000003 mod 5 = 3
- remx853: 100003 mod 5 = 3
- remx854: 10003 mod 5 = 3
- remx855: 1003 mod 5 = 3
- remx856: 103 mod 5 = 3
- remx857: 13 mod 5 = 3
- remx858: 1 mod 5 = 1
- remx860: 123.0e1 mod 10000000000000000 = 1230
- remx861: 1230 mod 10000000000000000 = 1230
- remx862: 12.3e2 mod 10000000000000000 = 1230
- remx863: 1.23e3 mod 10000000000000000 = 1230
- remx864: 123e1 mod 10000000000000000 = 1230
- remx870: 123e1 mod 1000000000000000 = 1230
- remx871: 123e1 mod 100000000000000 = 1230
- remx872: 123e1 mod 10000000000000 = 1230
- remx873: 123e1 mod 1000000000000 = 1230
- remx874: 123e1 mod 100000000000 = 1230
- remx875: 123e1 mod 10000000000 = 1230
- remx876: 123e1 mod 1000000000 = 1230
- remx877: 123e1 mod 100000000 = 1230
- remx878: 1230 mod 100000000 = 1230
- remx879: 123e1 mod 10000000 = 1230
- remx880: 123e1 mod 1000000 = 1230
- remx881: 123e1 mod 100000 = 1230
- remx882: 123e1 mod 10000 = 1230
- remx883: 123e1 mod 1000 = 230
- remx884: 123e1 mod 100 = 30
- remx885: 123e1 mod 10 = 0
- remx886: 123e1 mod 1 = 0
- remx889: 123e1 mod 20000000000000000 = 1230
- remx890: 123e1 mod 2000000000000000 = 1230
- remx891: 123e1 mod 200000000000000 = 1230
- remx892: 123e1 mod 20000000000000 = 1230
- remx893: 123e1 mod 2000000000000 = 1230
- remx894: 123e1 mod 200000000000 = 1230
- remx895: 123e1 mod 20000000000 = 1230
- remx896: 123e1 mod 2000000000 = 1230
- remx897: 123e1 mod 200000000 = 1230
- remx899: 123e1 mod 20000000 = 1230
- remx900: 123e1 mod 2000000 = 1230
- remx901: 123e1 mod 200000 = 1230
- remx902: 123e1 mod 20000 = 1230
- remx903: 123e1 mod 2000 = 1230
- remx904: 123e1 mod 200 = 30
- remx905: 123e1 mod 20 = 10
- remx906: 123e1 mod 2 = 0
- remx909: 123e1 mod 50000000000000000 = 1230
- remx910: 123e1 mod 5000000000000000 = 1230
- remx911: 123e1 mod 500000000000000 = 1230
- remx912: 123e1 mod 50000000000000 = 1230
- remx913: 123e1 mod 5000000000000 = 1230
- remx914: 123e1 mod 500000000000 = 1230
- remx915: 123e1 mod 50000000000 = 1230
- remx916: 123e1 mod 5000000000 = 1230
- remx917: 123e1 mod 500000000 = 1230
- remx919: 123e1 mod 50000000 = 1230
- remx920: 123e1 mod 5000000 = 1230
- remx921: 123e1 mod 500000 = 1230
- remx922: 123e1 mod 50000 = 1230
- remx923: 123e1 mod 5000 = 1230
- remx924: 123e1 mod 500 = 230
- remx925: 123e1 mod 50 = 30
- remx926: 123e1 mod 5 = 0
- remx929: 123e1 mod 90000000000000000 = 1230
- remx930: 123e1 mod 9000000000000000 = 1230
- remx931: 123e1 mod 900000000000000 = 1230
- remx932: 123e1 mod 90000000000000 = 1230
- remx933: 123e1 mod 9000000000000 = 1230
- remx934: 123e1 mod 900000000000 = 1230
- remx935: 123e1 mod 90000000000 = 1230
- remx936: 123e1 mod 9000000000 = 1230
- remx937: 123e1 mod 900000000 = 1230
- remx939: 123e1 mod 90000000 = 1230
- remx940: 123e1 mod 9000000 = 1230
- remx941: 123e1 mod 900000 = 1230
- remx942: 123e1 mod 90000 = 1230
- remx943: 123e1 mod 9000 = 1230
- remx944: 123e1 mod 900 = 330
- remx945: 123e1 mod 90 = 60
- remx946: 123e1 mod 9 = 6
- remx950: 123e1 mod 10000000000000000 = 1230
- remx951: 123e1 mod 100000000000000000 = 1230
- remx952: 123e1 mod 1000000000000000000 = 1230
- remx953: 123e1 mod 10000000000000000000 = 1230
- remx954: 123e1 mod 100000000000000000000 = 1230
- remx955: 123e1 mod 1000000000000000000000 = 1230
- remx956: 123e1 mod 10000000000000000000000 = 1230
- remx957: 123e1 mod 100000000000000000000000 = 1230
- remx958: 123e1 mod 1000000000000000000000000 = 1230
- remx959: 123e1 mod 10000000000000000000000000 = 1230
- remx960: 123e1 mod 19999999999999999 = 1230
- remx961: 123e1 mod 199999999999999990 = 1230
- remx962: 123e1 mod 1999999999999999999 = 1230
- remx963: 123e1 mod 19999999999999999990 = 1230
- remx964: 123e1 mod 199999999999999999999 = 1230
- remx965: 123e1 mod 1999999999999999999990 = 1230
- remx966: 123e1 mod 19999999999999999999999 = 1230
- remx967: 123e1 mod 199999999999999999999990 = 1230
- remx968: 123e1 mod 1999999999999999999999999 = 1230
- remx969: 123e1 mod 19999999999999999999999990 = 1230
- remx970: 1e1 mod 10000000000000000 = 10
- remx971: 1e1 mod 100000000000000000 = 10
- remx972: 1e1 mod 1000000000000000000 = 10
- remx973: 1e1 mod 10000000000000000000 = 10
- remx974: 1e1 mod 100000000000000000000 = 10
- remx975: 1e1 mod 1000000000000000000000 = 10
- remx976: 1e1 mod 10000000000000000000000 = 10
- remx977: 1e1 mod 100000000000000000000000 = 10
- remx978: 1e1 mod 1000000000000000000000000 = 10
- remx979: 1e1 mod 10000000000000000000000000 = 10
- remx980: 123e1 mod 1000E999999 = 1.23E+3
- precision=9
- e_max=999999999
- e_min=-999999999
- remx990: +1.23456789012345E-0 mod 9E+999999999 = 1.23456789 inexact rounded
- remx991: 9E+999999999 mod +0.23456789012345E-0 = NaN div_impossible
- remx992: +0.100 mod 9E+999999999 = 0.100
- remx993: 9E-999999999 mod +9.100 = 9E-999999999
- remx995: -1.23456789012345E-0 mod 9E+999999999 = -1.23456789 inexact rounded
- remx996: 9E+999999999 mod -0.83456789012345E-0 = NaN div_impossible
- remx997: -0.100 mod 9E+999999999 = -0.100
- remx998: 9E-999999999 mod -9.100 = 9E-999999999
- remx1000: 10 mod # = NaN invalid_operation
- remx1001: # mod 10 = NaN invalid_operationTest file: data/subtract.decTest
- Test file version: 2.59
-
- precision=9
- round=half_up
- e_max=384
- e_min=-383
- subx001: 0 - 0 = 0
- subx002: 1 - 1 = 0
- subx003: 1 - 2 = -1
- subx004: 2 - 1 = 1
- subx005: 2 - 2 = 0
- subx006: 3 - 2 = 1
- subx007: 2 - 3 = -1
- subx011: -0 - 0 = -0
- subx012: -1 - 1 = -2
- subx013: -1 - 2 = -3
- subx014: -2 - 1 = -3
- subx015: -2 - 2 = -4
- subx016: -3 - 2 = -5
- subx017: -2 - 3 = -5
- subx021: 0 - -0 = 0
- subx022: 1 - -1 = 2
- subx023: 1 - -2 = 3
- subx024: 2 - -1 = 3
- subx025: 2 - -2 = 4
- subx026: 3 - -2 = 5
- subx027: 2 - -3 = 5
- subx030: 11 - 1 = 10
- subx031: 10 - 1 = 9
- subx032: 9 - 1 = 8
- subx033: 1 - 1 = 0
- subx034: 0 - 1 = -1
- subx035: -1 - 1 = -2
- subx036: -9 - 1 = -10
- subx037: -10 - 1 = -11
- subx038: -11 - 1 = -12
- subx040: 5.75 - 3.3 = 2.45
- subx041: 5 - -3 = 8
- subx042: -5 - -3 = -2
- subx043: -7 - 2.5 = -9.5
- subx044: 0.7 - 0.3 = 0.4
- subx045: 1.3 - 0.3 = 1.0
- subx046: 1.25 - 1.25 = 0.00
- subx050: 1.23456789 - 1.00000000 = 0.23456789
- subx051: 1.23456789 - 1.00000089 = 0.23456700
- subx052: 0.5555555559 - 0.0000000001 = 0.555555556 inexact rounded
- subx053: 0.5555555559 - 0.0000000005 = 0.555555555 inexact rounded
- subx054: 0.4444444444 - 0.1111111111 = 0.333333333 inexact rounded
- subx055: 1.0000000000 - 0.00000001 = 0.999999990 rounded
- subx056: 0.4444444444999 - 0 = 0.444444444 inexact rounded
- subx057: 0.4444444445000 - 0 = 0.444444445 inexact rounded
- subx060: 70 - 10000e+9 = -1.00000000E+13 inexact rounded
- subx061: 700 - 10000e+9 = -1.00000000E+13 inexact rounded
- subx062: 7000 - 10000e+9 = -9.99999999E+12 inexact rounded
- subx063: 70000 - 10000e+9 = -9.99999993E+12 rounded
- subx064: 700000 - 10000e+9 = -9.99999930E+12 rounded
- subx065: 10000e+9 - 70 = 1.00000000E+13 inexact rounded
- subx066: 10000e+9 - 700 = 1.00000000E+13 inexact rounded
- subx067: 10000e+9 - 7000 = 9.99999999E+12 inexact rounded
- subx068: 10000e+9 - 70000 = 9.99999993E+12 rounded
- subx069: 10000e+9 - 700000 = 9.99999930E+12 rounded
- subx080: 10000e+9 - 70000 = 9.99999993E+12 rounded
- precision=6
- subx081: 10000e+9 - 70000 = 1.00000E+13 inexact rounded
- precision=9
- subx090: 00.0 - 0.0 = 0.0
- subx091: 00.0 - 0.00 = 0.00
- subx092: 0.00 - 00.0 = 0.00
- subx093: 00.0 - 0.00 = 0.00
- subx094: 0.00 - 00.0 = 0.00
- subx095: 3 - .3 = 2.7
- subx096: 3. - .3 = 2.7
- subx097: 3.0 - .3 = 2.7
- subx098: 3.00 - .3 = 2.70
- subx099: 3 - 3 = 0
- subx100: 3 - +3 = 0
- subx101: 3 - -3 = 6
- subx102: 3 - 0.3 = 2.7
- subx103: 3. - 0.3 = 2.7
- subx104: 3.0 - 0.3 = 2.7
- subx105: 3.00 - 0.3 = 2.70
- subx106: 3 - 3.0 = 0.0
- subx107: 3 - +3.0 = 0.0
- subx108: 3 - -3.0 = 6.0
- subx120: 10.23456784 - 10.23456789 = -5E-8
- subx121: 10.23456785 - 10.23456789 = -4E-8
- subx122: 10.23456786 - 10.23456789 = -3E-8
- subx123: 10.23456787 - 10.23456789 = -2E-8
- subx124: 10.23456788 - 10.23456789 = -1E-8
- subx125: 10.23456789 - 10.23456789 = 0E-8
- subx126: 10.23456790 - 10.23456789 = 1E-8
- subx127: 10.23456791 - 10.23456789 = 2E-8
- subx128: 10.23456792 - 10.23456789 = 3E-8
- subx129: 10.23456793 - 10.23456789 = 4E-8
- subx130: 10.23456794 - 10.23456789 = 5E-8
- subx131: 10.23456781 - 10.23456786 = -5E-8
- subx132: 10.23456782 - 10.23456786 = -4E-8
- subx133: 10.23456783 - 10.23456786 = -3E-8
- subx134: 10.23456784 - 10.23456786 = -2E-8
- subx135: 10.23456785 - 10.23456786 = -1E-8
- subx136: 10.23456786 - 10.23456786 = 0E-8
- subx137: 10.23456787 - 10.23456786 = 1E-8
- subx138: 10.23456788 - 10.23456786 = 2E-8
- subx139: 10.23456789 - 10.23456786 = 3E-8
- subx140: 10.23456790 - 10.23456786 = 4E-8
- subx141: 10.23456791 - 10.23456786 = 5E-8
- subx142: 1 - 0.999999999 = 1E-9
- subx143: 0.999999999 - 1 = -1E-9
- subx144: -10.23456780 - -10.23456786 = 6E-8
- subx145: -10.23456790 - -10.23456786 = -4E-8
- subx146: -10.23456791 - -10.23456786 = -5E-8
- precision=3
- subx150: 12345678900000 - 9999999999999 = 2.35E+12 inexact rounded
- subx151: 9999999999999 - 12345678900000 = -2.35E+12 inexact rounded
- precision=6
- subx152: 12345678900000 - 9999999999999 = 2.34568E+12 inexact rounded
- subx153: 9999999999999 - 12345678900000 = -2.34568E+12 inexact rounded
- precision=9
- subx154: 12345678900000 - 9999999999999 = 2.34567890E+12 inexact rounded
- subx155: 9999999999999 - 12345678900000 = -2.34567890E+12 inexact rounded
- precision=12
- subx156: 12345678900000 - 9999999999999 = 2.34567890000E+12 inexact rounded
- subx157: 9999999999999 - 12345678900000 = -2.34567890000E+12 inexact rounded
- precision=15
- subx158: 12345678900000 - 9999999999999 = 2345678900001
- subx159: 9999999999999 - 12345678900000 = -2345678900001
- precision=9
- subx160: 0 - .1 = -0.1
- subx161: 00 - .97983 = -0.97983
- subx162: 0 - .9 = -0.9
- subx163: 0 - 0.102 = -0.102
- subx164: 0 - .4 = -0.4
- subx165: 0 - .307 = -0.307
- subx166: 0 - .43822 = -0.43822
- subx167: 0 - .911 = -0.911
- subx168: .0 - .02 = -0.02
- subx169: 00 - .392 = -0.392
- subx170: 0 - .26 = -0.26
- subx171: 0 - 0.51 = -0.51
- subx172: 0 - .2234 = -0.2234
- subx173: 0 - .2 = -0.2
- subx174: .0 - .0008 = -0.0008
- subx180: 0.0 - -.1 = 0.1
- subx181: 0.00 - -.97983 = 0.97983
- subx182: 0.0 - -.9 = 0.9
- subx183: 0.0 - -0.102 = 0.102
- subx184: 0.0 - -.4 = 0.4
- subx185: 0.0 - -.307 = 0.307
- subx186: 0.0 - -.43822 = 0.43822
- subx187: 0.0 - -.911 = 0.911
- subx188: 0.0 - -.02 = 0.02
- subx189: 0.00 - -.392 = 0.392
- subx190: 0.0 - -.26 = 0.26
- subx191: 0.0 - -0.51 = 0.51
- subx192: 0.0 - -.2234 = 0.2234
- subx193: 0.0 - -.2 = 0.2
- subx194: 0.0 - -.0008 = 0.0008
- subx200: 0 - -.1 = 0.1
- subx201: 00 - -.97983 = 0.97983
- subx202: 0 - -.9 = 0.9
- subx203: 0 - -0.102 = 0.102
- subx204: 0 - -.4 = 0.4
- subx205: 0 - -.307 = 0.307
- subx206: 0 - -.43822 = 0.43822
- subx207: 0 - -.911 = 0.911
- subx208: .0 - -.02 = 0.02
- subx209: 00 - -.392 = 0.392
- subx210: 0 - -.26 = 0.26
- subx211: 0 - -0.51 = 0.51
- subx212: 0 - -.2234 = 0.2234
- subx213: 0 - -.2 = 0.2
- subx214: .0 - -.0008 = 0.0008
- subx220: -56267E-12 - 0 = -5.6267E-8
- subx221: -56267E-11 - 0 = -5.6267E-7
- subx222: -56267E-10 - 0 = -0.0000056267
- subx223: -56267E-9 - 0 = -0.000056267
- subx224: -56267E-8 - 0 = -0.00056267
- subx225: -56267E-7 - 0 = -0.0056267
- subx226: -56267E-6 - 0 = -0.056267
- subx227: -56267E-5 - 0 = -0.56267
- subx228: -56267E-2 - 0 = -562.67
- subx229: -56267E-1 - 0 = -5626.7
- subx230: -56267E-0 - 0 = -56267
- subx240: 0 - -56267E-12 = 5.6267E-8
- subx241: 0 - -56267E-11 = 5.6267E-7
- subx242: 0 - -56267E-10 = 0.0000056267
- subx243: 0 - -56267E-9 = 0.000056267
- subx244: 0 - -56267E-8 = 0.00056267
- subx245: 0 - -56267E-7 = 0.0056267
- subx246: 0 - -56267E-6 = 0.056267
- subx247: 0 - -56267E-5 = 0.56267
- subx248: 0 - -56267E-2 = 562.67
- subx249: 0 - -56267E-1 = 5626.7
- subx250: 0 - -56267E-0 = 56267
- precision=9
- subx301: 1.23456789 - 1.00000000 = 0.23456789
- subx302: 1.23456789 - 1.00000011 = 0.23456778
- subx311: 0.4444444444 - 0.5555555555 = -0.111111111 inexact rounded
- subx312: 0.4444444440 - 0.5555555555 = -0.111111112 inexact rounded
- subx313: 0.4444444444 - 0.5555555550 = -0.111111111 inexact rounded
- subx314: 0.44444444449 - 0 = 0.444444444 inexact rounded
- subx315: 0.444444444499 - 0 = 0.444444444 inexact rounded
- subx316: 0.4444444444999 - 0 = 0.444444444 inexact rounded
- subx317: 0.4444444445000 - 0 = 0.444444445 inexact rounded
- subx318: 0.4444444445001 - 0 = 0.444444445 inexact rounded
- subx319: 0.444444444501 - 0 = 0.444444445 inexact rounded
- subx320: 0.44444444451 - 0 = 0.444444445 inexact rounded
- subx321: 0.9998 - 0.0000 = 0.9998
- subx322: 0.9998 - 0.0001 = 0.9997
- subx323: 0.9998 - 0.0002 = 0.9996
- subx324: 0.9998 - 0.0003 = 0.9995
- subx325: 0.9998 - -0.0000 = 0.9998
- subx326: 0.9998 - -0.0001 = 0.9999
- subx327: 0.9998 - -0.0002 = 1.0000
- subx328: 0.9998 - -0.0003 = 1.0001
- subx330: 70 - 10000e+9 = -1.00000000E+13 inexact rounded
- subx331: 700 - 10000e+9 = -1.00000000E+13 inexact rounded
- subx332: 7000 - 10000e+9 = -9.99999999E+12 inexact rounded
- subx333: 70000 - 10000e+9 = -9.99999993E+12 rounded
- subx334: 700000 - 10000e+9 = -9.99999930E+12 rounded
- subx335: 7000000 - 10000e+9 = -9.99999300E+12 rounded
- subx340: 10000e+9 - 70 = 1.00000000E+13 inexact rounded
- subx341: 10000e+9 - 700 = 1.00000000E+13 inexact rounded
- subx342: 10000e+9 - 7000 = 9.99999999E+12 inexact rounded
- subx343: 10000e+9 - 70000 = 9.99999993E+12 rounded
- subx344: 10000e+9 - 700000 = 9.99999930E+12 rounded
- subx345: 10000e+9 - 7000000 = 9.99999300E+12 rounded
- precision=15
- subx346: 10000e+9 - 7 = 9999999999993
- subx347: 10000e+9 - 70 = 9999999999930
- subx348: 10000e+9 - 700 = 9999999999300
- subx349: 10000e+9 - 7000 = 9999999993000
- subx350: 10000e+9 - 70000 = 9999999930000
- subx351: 10000e+9 - 700000 = 9999999300000
- subx352: 7 - 10000e+9 = -9999999999993
- subx353: 70 - 10000e+9 = -9999999999930
- subx354: 700 - 10000e+9 = -9999999999300
- subx355: 7000 - 10000e+9 = -9999999993000
- subx356: 70000 - 10000e+9 = -9999999930000
- subx357: 700000 - 10000e+9 = -9999999300000
- precision=6
- subx360: 10000e+9 - 70000 = 1.00000E+13 inexact rounded
- subx361: 1 - 0.0001 = 0.9999
- subx362: 1 - 0.00001 = 0.99999
- subx363: 1 - 0.000001 = 0.999999
- subx364: 1 - 0.0000001 = 1.00000 inexact rounded
- subx365: 1 - 0.00000001 = 1.00000 inexact rounded
- subx370: 1 - 0 = 1
- subx371: 1 - 0. = 1
- subx372: 1 - .0 = 1.0
- subx373: 1 - 0.0 = 1.0
- subx374: 0 - 1 = -1
- subx375: 0. - 1 = -1
- subx376: .0 - 1 = -1.0
- subx377: 0.0 - 1 = -1.0
- precision=9
- subx910: -103519362 - -51897955.3 = -51621406.7
- subx911: 159579.444 - 89827.5229 = 69751.9211
- subx920: 333.123456 - 33.1234566 = 299.999999 inexact rounded
- subx921: 333.123456 - 33.1234565 = 300.000000 inexact rounded
- subx922: 133.123456 - 33.1234565 = 99.9999995
- subx923: 133.123456 - 33.1234564 = 99.9999996
- subx924: 133.123456 - 33.1234540 = 100.000002 rounded
- subx925: 133.123456 - 43.1234560 = 90.0000000
- subx926: 133.123456 - 43.1234561 = 89.9999999
- subx927: 133.123456 - 43.1234566 = 89.9999994
- subx928: 101.123456 - 91.1234566 = 9.9999994
- subx929: 101.123456 - 99.1234566 = 1.9999994
- precision=1
- subx930: 11 - 2 = 9
- precision=2
- subx932: 101 - 2 = 99
- precision=3
- subx934: 101 - 2.1 = 98.9
- subx935: 101 - 92.01 = 8.99
- precision=4
- subx936: 101 - 2.01 = 98.99
- subx937: 101 - 92.01 = 8.99
- subx938: 101 - 92.006 = 8.994
- precision=5
- subx939: 101 - 2.001 = 98.999
- subx940: 101 - 92.001 = 8.999
- subx941: 101 - 92.0006 = 8.9994
- precision=6
- subx942: 101 - 2.0001 = 98.9999
- subx943: 101 - 92.0001 = 8.9999
- subx944: 101 - 92.00006 = 8.99994
- precision=7
- subx945: 101 - 2.00001 = 98.99999
- subx946: 101 - 92.00001 = 8.99999
- subx947: 101 - 92.000006 = 8.999994
- precision=8
- subx948: 101 - 2.000001 = 98.999999
- subx949: 101 - 92.000001 = 8.999999
- subx950: 101 - 92.0000006 = 8.9999994
- precision=9
- subx951: 101 - 2.0000001 = 98.9999999
- subx952: 101 - 92.0000001 = 8.9999999
- subx953: 101 - 92.00000006 = 8.99999994
- precision=9
- subx390: -56267E-10 - 0 = -0.0000056267
- subx391: -56267E-6 - 0 = -0.056267
- subx392: -56267E-5 - 0 = -0.56267
- subx393: -56267E-4 - 0 = -5.6267
- subx394: -56267E-3 - 0 = -56.267
- subx395: -56267E-2 - 0 = -562.67
- subx396: -56267E-1 - 0 = -5626.7
- subx397: -56267E-0 - 0 = -56267
- subx398: -5E-10 - 0 = -5E-10
- subx399: -5E-7 - 0 = -5E-7
- subx400: -5E-6 - 0 = -0.000005
- subx401: -5E-5 - 0 = -0.00005
- subx402: -5E-4 - 0 = -0.0005
- subx403: -5E-1 - 0 = -0.5
- subx404: -5E0 - 0 = -5
- subx405: -5E1 - 0 = -50
- subx406: -5E5 - 0 = -500000
- subx407: -5E8 - 0 = -500000000
- subx408: -5E9 - 0 = -5.00000000E+9 rounded
- subx409: -5E10 - 0 = -5.00000000E+10 rounded
- subx410: -5E11 - 0 = -5.00000000E+11 rounded
- subx411: -5E100 - 0 = -5.00000000E+100 rounded
- subx420: 0 - -56267E-10 = 0.0000056267
- subx421: 0 - -56267E-6 = 0.056267
- subx422: 0 - -56267E-5 = 0.56267
- subx423: 0 - -56267E-4 = 5.6267
- subx424: 0 - -56267E-3 = 56.267
- subx425: 0 - -56267E-2 = 562.67
- subx426: 0 - -56267E-1 = 5626.7
- subx427: 0 - -56267E-0 = 56267
- subx428: 0 - -5E-10 = 5E-10
- subx429: 0 - -5E-7 = 5E-7
- subx430: 0 - -5E-6 = 0.000005
- subx431: 0 - -5E-5 = 0.00005
- subx432: 0 - -5E-4 = 0.0005
- subx433: 0 - -5E-1 = 0.5
- subx434: 0 - -5E0 = 5
- subx435: 0 - -5E1 = 50
- subx436: 0 - -5E5 = 500000
- subx437: 0 - -5E8 = 500000000
- subx438: 0 - -5E9 = 5.00000000E+9 rounded
- subx439: 0 - -5E10 = 5.00000000E+10 rounded
- subx440: 0 - -5E11 = 5.00000000E+11 rounded
- subx441: 0 - -5E100 = 5.00000000E+100 rounded
- precision=15
- subx461: 1E+12 - 1 = 999999999999
- subx462: 1E+12 - -1.11 = 1000000000001.11
- subx463: 1.11 - -1E+12 = 1000000000001.11
- subx464: -1 - -1E+12 = 999999999999
- subx465: 7E+12 - 1 = 6999999999999
- subx466: 7E+12 - -1.11 = 7000000000001.11
- subx467: 1.11 - -7E+12 = 7000000000001.11
- subx468: -1 - -7E+12 = 6999999999999
- subx470: 0.444444444444444 - -0.555555555555563 = 1.00000000000001 inexact rounded
- subx471: 0.444444444444444 - -0.555555555555562 = 1.00000000000001 inexact rounded
- subx472: 0.444444444444444 - -0.555555555555561 = 1.00000000000001 inexact rounded
- subx473: 0.444444444444444 - -0.555555555555560 = 1.00000000000000 inexact rounded
- subx474: 0.444444444444444 - -0.555555555555559 = 1.00000000000000 inexact rounded
- subx475: 0.444444444444444 - -0.555555555555558 = 1.00000000000000 inexact rounded
- subx476: 0.444444444444444 - -0.555555555555557 = 1.00000000000000 inexact rounded
- subx477: 0.444444444444444 - -0.555555555555556 = 1.00000000000000 rounded
- subx478: 0.444444444444444 - -0.555555555555555 = 0.999999999999999
- subx479: 0.444444444444444 - -0.555555555555554 = 0.999999999999998
- subx480: 0.444444444444444 - -0.555555555555553 = 0.999999999999997
- subx481: 0.444444444444444 - -0.555555555555552 = 0.999999999999996
- subx482: 0.444444444444444 - -0.555555555555551 = 0.999999999999995
- subx483: 0.444444444444444 - -0.555555555555550 = 0.999999999999994
- precision=9
- round=half_up
- subx500: 123456789 - 0 = 123456789
- subx501: 123456789 - 0.000000001 = 123456789 inexact rounded
- subx502: 123456789 - 0.000001 = 123456789 inexact rounded
- subx503: 123456789 - 0.1 = 123456789 inexact rounded
- subx504: 123456789 - 0.4 = 123456789 inexact rounded
- subx505: 123456789 - 0.49 = 123456789 inexact rounded
- subx506: 123456789 - 0.499999 = 123456789 inexact rounded
- subx507: 123456789 - 0.499999999 = 123456789 inexact rounded
- subx508: 123456789 - 0.5 = 123456789 inexact rounded
- subx509: 123456789 - 0.500000001 = 123456788 inexact rounded
- subx510: 123456789 - 0.500001 = 123456788 inexact rounded
- subx511: 123456789 - 0.51 = 123456788 inexact rounded
- subx512: 123456789 - 0.6 = 123456788 inexact rounded
- subx513: 123456789 - 0.9 = 123456788 inexact rounded
- subx514: 123456789 - 0.99999 = 123456788 inexact rounded
- subx515: 123456789 - 0.999999999 = 123456788 inexact rounded
- subx516: 123456789 - 1 = 123456788
- subx517: 123456789 - 1.000000001 = 123456788 inexact rounded
- subx518: 123456789 - 1.00001 = 123456788 inexact rounded
- subx519: 123456789 - 1.1 = 123456788 inexact rounded
- round=half_even
- subx520: 123456789 - 0 = 123456789
- subx521: 123456789 - 0.000000001 = 123456789 inexact rounded
- subx522: 123456789 - 0.000001 = 123456789 inexact rounded
- subx523: 123456789 - 0.1 = 123456789 inexact rounded
- subx524: 123456789 - 0.4 = 123456789 inexact rounded
- subx525: 123456789 - 0.49 = 123456789 inexact rounded
- subx526: 123456789 - 0.499999 = 123456789 inexact rounded
- subx527: 123456789 - 0.499999999 = 123456789 inexact rounded
- subx528: 123456789 - 0.5 = 123456788 inexact rounded
- subx529: 123456789 - 0.500000001 = 123456788 inexact rounded
- subx530: 123456789 - 0.500001 = 123456788 inexact rounded
- subx531: 123456789 - 0.51 = 123456788 inexact rounded
- subx532: 123456789 - 0.6 = 123456788 inexact rounded
- subx533: 123456789 - 0.9 = 123456788 inexact rounded
- subx534: 123456789 - 0.99999 = 123456788 inexact rounded
- subx535: 123456789 - 0.999999999 = 123456788 inexact rounded
- subx536: 123456789 - 1 = 123456788
- subx537: 123456789 - 1.00000001 = 123456788 inexact rounded
- subx538: 123456789 - 1.00001 = 123456788 inexact rounded
- subx539: 123456789 - 1.1 = 123456788 inexact rounded
- subx540: 123456788 - 0.499999999 = 123456788 inexact rounded
- subx541: 123456788 - 0.5 = 123456788 inexact rounded
- subx542: 123456788 - 0.500000001 = 123456787 inexact rounded
- round=down
- subx550: 123456789 - 0 = 123456789
- subx551: 123456789 - 0.000000001 = 123456788 inexact rounded
- subx552: 123456789 - 0.000001 = 123456788 inexact rounded
- subx553: 123456789 - 0.1 = 123456788 inexact rounded
- subx554: 123456789 - 0.4 = 123456788 inexact rounded
- subx555: 123456789 - 0.49 = 123456788 inexact rounded
- subx556: 123456789 - 0.499999 = 123456788 inexact rounded
- subx557: 123456789 - 0.499999999 = 123456788 inexact rounded
- subx558: 123456789 - 0.5 = 123456788 inexact rounded
- subx559: 123456789 - 0.500000001 = 123456788 inexact rounded
- subx560: 123456789 - 0.500001 = 123456788 inexact rounded
- subx561: 123456789 - 0.51 = 123456788 inexact rounded
- subx562: 123456789 - 0.6 = 123456788 inexact rounded
- subx563: 123456789 - 0.9 = 123456788 inexact rounded
- subx564: 123456789 - 0.99999 = 123456788 inexact rounded
- subx565: 123456789 - 0.999999999 = 123456788 inexact rounded
- subx566: 123456789 - 1 = 123456788
- subx567: 123456789 - 1.00000001 = 123456787 inexact rounded
- subx568: 123456789 - 1.00001 = 123456787 inexact rounded
- subx569: 123456789 - 1.1 = 123456787 inexact rounded
- round=half_up
- subx600: 0 - 123456789 = -123456789
- subx601: 0.000000001 - 123456789 = -123456789 inexact rounded
- subx602: 0.000001 - 123456789 = -123456789 inexact rounded
- subx603: 0.1 - 123456789 = -123456789 inexact rounded
- subx604: 0.4 - 123456789 = -123456789 inexact rounded
- subx605: 0.49 - 123456789 = -123456789 inexact rounded
- subx606: 0.499999 - 123456789 = -123456789 inexact rounded
- subx607: 0.499999999 - 123456789 = -123456789 inexact rounded
- subx608: 0.5 - 123456789 = -123456789 inexact rounded
- subx609: 0.500000001 - 123456789 = -123456788 inexact rounded
- subx610: 0.500001 - 123456789 = -123456788 inexact rounded
- subx611: 0.51 - 123456789 = -123456788 inexact rounded
- subx612: 0.6 - 123456789 = -123456788 inexact rounded
- subx613: 0.9 - 123456789 = -123456788 inexact rounded
- subx614: 0.99999 - 123456789 = -123456788 inexact rounded
- subx615: 0.999999999 - 123456789 = -123456788 inexact rounded
- subx616: 1 - 123456789 = -123456788
- subx617: 1.000000001 - 123456789 = -123456788 inexact rounded
- subx618: 1.00001 - 123456789 = -123456788 inexact rounded
- subx619: 1.1 - 123456789 = -123456788 inexact rounded
- round=half_even
- subx620: 0 - 123456789 = -123456789
- subx621: 0.000000001 - 123456789 = -123456789 inexact rounded
- subx622: 0.000001 - 123456789 = -123456789 inexact rounded
- subx623: 0.1 - 123456789 = -123456789 inexact rounded
- subx624: 0.4 - 123456789 = -123456789 inexact rounded
- subx625: 0.49 - 123456789 = -123456789 inexact rounded
- subx626: 0.499999 - 123456789 = -123456789 inexact rounded
- subx627: 0.499999999 - 123456789 = -123456789 inexact rounded
- subx628: 0.5 - 123456789 = -123456788 inexact rounded
- subx629: 0.500000001 - 123456789 = -123456788 inexact rounded
- subx630: 0.500001 - 123456789 = -123456788 inexact rounded
- subx631: 0.51 - 123456789 = -123456788 inexact rounded
- subx632: 0.6 - 123456789 = -123456788 inexact rounded
- subx633: 0.9 - 123456789 = -123456788 inexact rounded
- subx634: 0.99999 - 123456789 = -123456788 inexact rounded
- subx635: 0.999999999 - 123456789 = -123456788 inexact rounded
- subx636: 1 - 123456789 = -123456788
- subx637: 1.00000001 - 123456789 = -123456788 inexact rounded
- subx638: 1.00001 - 123456789 = -123456788 inexact rounded
- subx639: 1.1 - 123456789 = -123456788 inexact rounded
- subx640: 0.499999999 - 123456788 = -123456788 inexact rounded
- subx641: 0.5 - 123456788 = -123456788 inexact rounded
- subx642: 0.500000001 - 123456788 = -123456787 inexact rounded
- round=down
- subx650: 0 - 123456789 = -123456789
- subx651: 0.000000001 - 123456789 = -123456788 inexact rounded
- subx652: 0.000001 - 123456789 = -123456788 inexact rounded
- subx653: 0.1 - 123456789 = -123456788 inexact rounded
- subx654: 0.4 - 123456789 = -123456788 inexact rounded
- subx655: 0.49 - 123456789 = -123456788 inexact rounded
- subx656: 0.499999 - 123456789 = -123456788 inexact rounded
- subx657: 0.499999999 - 123456789 = -123456788 inexact rounded
- subx658: 0.5 - 123456789 = -123456788 inexact rounded
- subx659: 0.500000001 - 123456789 = -123456788 inexact rounded
- subx660: 0.500001 - 123456789 = -123456788 inexact rounded
- subx661: 0.51 - 123456789 = -123456788 inexact rounded
- subx662: 0.6 - 123456789 = -123456788 inexact rounded
- subx663: 0.9 - 123456789 = -123456788 inexact rounded
- subx664: 0.99999 - 123456789 = -123456788 inexact rounded
- subx665: 0.999999999 - 123456789 = -123456788 inexact rounded
- subx666: 1 - 123456789 = -123456788
- subx667: 1.00000001 - 123456789 = -123456787 inexact rounded
- subx668: 1.00001 - 123456789 = -123456787 inexact rounded
- subx669: 1.1 - 123456789 = -123456787 inexact rounded
- precision=9
- round=half_up
- subx670: 123456789 - 123456788.1 = 0.9
- subx671: 123456789 - 123456788.9 = 0.1
- subx672: 123456789 - 123456789.1 = -0.1
- subx673: 123456789 - 123456789.5 = -0.5
- subx674: 123456789 - 123456789.9 = -0.9
- round=half_even
- subx680: 123456789 - 123456788.1 = 0.9
- subx681: 123456789 - 123456788.9 = 0.1
- subx682: 123456789 - 123456789.1 = -0.1
- subx683: 123456789 - 123456789.5 = -0.5
- subx684: 123456789 - 123456789.9 = -0.9
- subx685: 123456788 - 123456787.1 = 0.9
- subx686: 123456788 - 123456787.9 = 0.1
- subx687: 123456788 - 123456788.1 = -0.1
- subx688: 123456788 - 123456788.5 = -0.5
- subx689: 123456788 - 123456788.9 = -0.9
- round=down
- subx690: 123456789 - 123456788.1 = 0.9
- subx691: 123456789 - 123456788.9 = 0.1
- subx692: 123456789 - 123456789.1 = -0.1
- subx693: 123456789 - 123456789.5 = -0.5
- subx694: 123456789 - 123456789.9 = -0.9
- round=half_up
- precision=3
- subx700: 12345678900000 - -9999999999999 = 2.23E+13 inexact rounded
- subx701: 9999999999999 - -12345678900000 = 2.23E+13 inexact rounded
- subx702: 12E+3 - -3456 = 1.55E+4 inexact rounded
- subx703: 12E+3 - -3446 = 1.54E+4 inexact rounded
- subx704: 12E+3 - -3454 = 1.55E+4 inexact rounded
- subx705: 12E+3 - -3444 = 1.54E+4 inexact rounded
- subx706: 3456 - -12E+3 = 1.55E+4 inexact rounded
- subx707: 3446 - -12E+3 = 1.54E+4 inexact rounded
- subx708: 3454 - -12E+3 = 1.55E+4 inexact rounded
- subx709: 3444 - -12E+3 = 1.54E+4 inexact rounded
- e_max=999999999
- e_min=-999999999
- precision=9
- round=down
- subx710: 1E+999999999 - -9E+999999999 = 9.99999999E+999999999 overflow inexact rounded
- subx711: 9E+999999999 - -1E+999999999 = 9.99999999E+999999999 overflow inexact rounded
- round=half_up
- subx712: 1E+999999999 - -9E+999999999 = Infinity overflow inexact rounded
- subx713: 9E+999999999 - -1E+999999999 = Infinity overflow inexact rounded
- subx714: -1.1E-999999999 - -1E-999999999 = -1E-1000000000 subnormal
- subx715: 1E-999999999 - +1.1e-999999999 = -1E-1000000000 subnormal
- subx716: -1E+999999999 - +9E+999999999 = -Infinity overflow inexact rounded
- subx717: -9E+999999999 - +1E+999999999 = -Infinity overflow inexact rounded
- subx718: +1.1E-999999999 - +1E-999999999 = 1E-1000000000 subnormal
- subx719: -1E-999999999 - -1.1e-999999999 = 1E-1000000000 subnormal
- precision=3
- subx720: 1 - 9.999E+999999999 = -Infinity inexact overflow rounded
- subx721: 1 - -9.999E+999999999 = Infinity inexact overflow rounded
- subx722: 9.999E+999999999 - 1 = Infinity inexact overflow rounded
- subx723: -9.999E+999999999 - 1 = -Infinity inexact overflow rounded
- subx724: 1 - 9.999E+999999999 = -Infinity inexact overflow rounded
- subx725: 1 - -9.999E+999999999 = Infinity inexact overflow rounded
- subx726: 9.999E+999999999 - 1 = Infinity inexact overflow rounded
- subx727: -9.999E+999999999 - 1 = -Infinity inexact overflow rounded
- e_max=999
- e_min=-999
- precision=9
- sub731: 12345678000 - 0 = 1.23456780E+10 rounded
- sub732: 0 - 12345678000 = -1.23456780E+10 rounded
- sub733: 1234567800 - 0 = 1.23456780E+9 rounded
- sub734: 0 - 1234567800 = -1.23456780E+9 rounded
- sub735: 1234567890 - 0 = 1.23456789E+9 rounded
- sub736: 0 - 1234567890 = -1.23456789E+9 rounded
- sub737: 1234567891 - 0 = 1.23456789E+9 inexact rounded
- sub738: 0 - 1234567891 = -1.23456789E+9 inexact rounded
- sub739: 12345678901 - 0 = 1.23456789E+10 inexact rounded
- sub740: 0 - 12345678901 = -1.23456789E+10 inexact rounded
- sub741: 1234567896 - 0 = 1.23456790E+9 inexact rounded
- sub742: 0 - 1234567896 = -1.23456790E+9 inexact rounded
- precision=15
- sub751: 12345678000 - 0 = 12345678000
- sub752: 0 - 12345678000 = -12345678000
- sub753: 1234567800 - 0 = 1234567800
- sub754: 0 - 1234567800 = -1234567800
- sub755: 1234567890 - 0 = 1234567890
- sub756: 0 - 1234567890 = -1234567890
- sub757: 1234567891 - 0 = 1234567891
- sub758: 0 - 1234567891 = -1234567891
- sub759: 12345678901 - 0 = 12345678901
- sub760: 0 - 12345678901 = -12345678901
- sub761: 1234567896 - 0 = 1234567896
- sub762: 0 - 1234567896 = -1234567896
- subx780: -Inf - Inf = -Infinity
- subx781: -Inf - 1000 = -Infinity
- subx782: -Inf - 1 = -Infinity
- subx783: -Inf - -0 = -Infinity
- subx784: -Inf - -1 = -Infinity
- subx785: -Inf - -1000 = -Infinity
- subx787: -1000 - Inf = -Infinity
- subx788: -Inf - Inf = -Infinity
- subx789: -1 - Inf = -Infinity
- subx790: 0 - Inf = -Infinity
- subx791: 1 - Inf = -Infinity
- subx792: 1000 - Inf = -Infinity
- subx800: Inf - Inf = NaN invalid_operation
- subx801: Inf - 1000 = Infinity
- subx802: Inf - 1 = Infinity
- subx803: Inf - 0 = Infinity
- subx804: Inf - -0 = Infinity
- subx805: Inf - -1 = Infinity
- subx806: Inf - -1000 = Infinity
- subx807: Inf - -Inf = Infinity
- subx808: -1000 - -Inf = Infinity
- subx809: -Inf - -Inf = NaN invalid_operation
- subx810: -1 - -Inf = Infinity
- subx811: -0 - -Inf = Infinity
- subx812: 0 - -Inf = Infinity
- subx813: 1 - -Inf = Infinity
- subx814: 1000 - -Inf = Infinity
- subx815: Inf - -Inf = Infinity
- subx821: NaN - Inf = NaN
- subx822: -NaN - 1000 = -NaN
- subx823: NaN - 1 = NaN
- subx824: NaN - 0 = NaN
- subx825: NaN - -0 = NaN
- subx826: NaN - -1 = NaN
- subx827: NaN - -1000 = NaN
- subx828: NaN - -Inf = NaN
- subx829: -NaN - NaN = -NaN
- subx830: -Inf - NaN = NaN
- subx831: -1000 - NaN = NaN
- subx832: -1 - NaN = NaN
- subx833: -0 - NaN = NaN
- subx834: 0 - NaN = NaN
- subx835: 1 - NaN = NaN
- subx836: 1000 - -NaN = -NaN
- subx837: Inf - NaN = NaN
- subx841: sNaN - Inf = NaN invalid_operation
- subx842: -sNaN - 1000 = -NaN invalid_operation
- subx843: sNaN - 1 = NaN invalid_operation
- subx844: sNaN - 0 = NaN invalid_operation
- subx845: sNaN - -0 = NaN invalid_operation
- subx846: sNaN - -1 = NaN invalid_operation
- subx847: sNaN - -1000 = NaN invalid_operation
- subx848: sNaN - NaN = NaN invalid_operation
- subx849: sNaN - sNaN = NaN invalid_operation
- subx850: NaN - sNaN = NaN invalid_operation
- subx851: -Inf - -sNaN = -NaN invalid_operation
- subx852: -1000 - sNaN = NaN invalid_operation
- subx853: -1 - sNaN = NaN invalid_operation
- subx854: -0 - sNaN = NaN invalid_operation
- subx855: 0 - sNaN = NaN invalid_operation
- subx856: 1 - sNaN = NaN invalid_operation
- subx857: 1000 - sNaN = NaN invalid_operation
- subx858: Inf - sNaN = NaN invalid_operation
- subx859: NaN - sNaN = NaN invalid_operation
- subx861: NaN01 - -Inf = NaN1
- subx862: -NaN02 - -1000 = -NaN2
- subx863: NaN03 - 1000 = NaN3
- subx864: NaN04 - Inf = NaN4
- subx865: NaN05 - NaN61 = NaN5
- subx866: -Inf - -NaN71 = -NaN71
- subx867: -1000 - NaN81 = NaN81
- subx868: 1000 - NaN91 = NaN91
- subx869: Inf - NaN101 = NaN101
- subx871: sNaN011 - -Inf = NaN11 invalid_operation
- subx872: sNaN012 - -1000 = NaN12 invalid_operation
- subx873: -sNaN013 - 1000 = -NaN13 invalid_operation
- subx874: sNaN014 - NaN171 = NaN14 invalid_operation
- subx875: sNaN015 - sNaN181 = NaN15 invalid_operation
- subx876: NaN016 - sNaN191 = NaN191 invalid_operation
- subx877: -Inf - sNaN201 = NaN201 invalid_operation
- subx878: -1000 - sNaN211 = NaN211 invalid_operation
- subx879: 1000 - -sNaN221 = -NaN221 invalid_operation
- subx880: Inf - sNaN231 = NaN231 invalid_operation
- subx881: NaN025 - sNaN241 = NaN241 invalid_operation
- subx901: 2.E-3 - 1.002 = -1.000
- subx902: 2.0E-3 - 1.002 = -1.0000
- subx903: 2.00E-3 - 1.0020 = -1.00000
- subx904: 2.000E-3 - 1.00200 = -1.000000
- subx905: 2.0000E-3 - 1.002000 = -1.0000000
- subx906: 2.00000E-3 - 1.0020000 = -1.00000000
- subx907: 2.000000E-3 - 1.00200000 = -1.000000000
- subx908: 2.0000000E-3 - 1.002000000 = -1.0000000000
- precision=3
- e_max=999
- e_min=-999
- subx1010: 0 - 1.00E-999 = -1.00E-999
- subx1011: 0 - 0.1E-999 = -1E-1000 subnormal
- subx1012: 0 - 0.10E-999 = -1.0E-1000 subnormal
- subx1013: 0 - 0.100E-999 = -1.0E-1000 subnormal rounded
- subx1014: 0 - 0.01E-999 = -1E-1001 subnormal
- subx1015: 0 - 0.999E-999 = -1.00E-999 inexact rounded subnormal underflow
- subx1016: 0 - 0.099E-999 = -1.0E-1000 inexact rounded subnormal underflow
- subx1017: 0 - 0.009E-999 = -1E-1001 inexact rounded subnormal underflow
- subx1018: 0 - 0.001E-999 = -0E-1001 inexact rounded subnormal underflow clamped
- subx1019: 0 - 0.0009E-999 = -0E-1001 inexact rounded subnormal underflow clamped
- subx1020: 0 - 0.0001E-999 = -0E-1001 inexact rounded subnormal underflow clamped
- subx1030: 0 - -1.00E-999 = 1.00E-999
- subx1031: 0 - -0.1E-999 = 1E-1000 subnormal
- subx1032: 0 - -0.10E-999 = 1.0E-1000 subnormal
- subx1033: 0 - -0.100E-999 = 1.0E-1000 subnormal rounded
- subx1034: 0 - -0.01E-999 = 1E-1001 subnormal
- subx1035: 0 - -0.999E-999 = 1.00E-999 inexact rounded subnormal underflow
- subx1036: 0 - -0.099E-999 = 1.0E-1000 inexact rounded subnormal underflow
- subx1037: 0 - -0.009E-999 = 1E-1001 inexact rounded subnormal underflow
- subx1038: 0 - -0.001E-999 = 0E-1001 inexact rounded subnormal underflow clamped
- subx1039: 0 - -0.0009E-999 = 0E-1001 inexact rounded subnormal underflow clamped
- subx1040: 0 - -0.0001E-999 = 0E-1001 inexact rounded subnormal underflow clamped
- round=half_up
- subx1050: 1.00E-999 - 0.1E-999 = 9.0E-1000 subnormal
- subx1051: 0.1E-999 - 0.1E-999 = 0E-1000
- subx1052: 0.10E-999 - 0.1E-999 = 0E-1001
- subx1053: 0.100E-999 - 0.1E-999 = 0E-1001 clamped
- subx1054: 0.01E-999 - 0.1E-999 = -9E-1001 subnormal
- subx1055: 0.999E-999 - 0.1E-999 = 9.0E-1000 inexact rounded subnormal underflow
- subx1056: 0.099E-999 - 0.1E-999 = -0E-1001 inexact rounded subnormal underflow clamped
- subx1057: 0.009E-999 - 0.1E-999 = -9E-1001 inexact rounded subnormal underflow
- subx1058: 0.001E-999 - 0.1E-999 = -1.0E-1000 inexact rounded subnormal underflow
- subx1059: 0.0009E-999 - 0.1E-999 = -1.0E-1000 inexact rounded subnormal underflow
- subx1060: 0.0001E-999 - 0.1E-999 = -1.0E-1000 inexact rounded subnormal underflow
- precision=5
- e_max=79
- e_min=-79
- subx1101: 0 - 1.52444E-80 = -1.524E-80 inexact rounded subnormal underflow
- subx1102: 0 - 1.52445E-80 = -1.524E-80 inexact rounded subnormal underflow
- subx1103: 0 - 1.52446E-80 = -1.524E-80 inexact rounded subnormal underflow
- subx1104: 1.52444E-80 - 0 = 1.524E-80 inexact rounded subnormal underflow
- subx1105: 1.52445E-80 - 0 = 1.524E-80 inexact rounded subnormal underflow
- subx1106: 1.52446E-80 - 0 = 1.524E-80 inexact rounded subnormal underflow
- subx1111: 1.2345678E-80 - 1.2345671E-80 = 0E-83 inexact rounded subnormal underflow clamped
- subx1112: 1.2345678E-80 - 1.2345618E-80 = 0E-83 inexact rounded subnormal underflow clamped
- subx1113: 1.2345678E-80 - 1.2345178E-80 = 0E-83 inexact rounded subnormal underflow clamped
- subx1114: 1.2345678E-80 - 1.2341678E-80 = 0E-83 inexact rounded subnormal underflow clamped
- subx1115: 1.2345678E-80 - 1.2315678E-80 = 3E-83 rounded subnormal
- subx1116: 1.2345678E-80 - 1.2145678E-80 = 2.0E-82 rounded subnormal
- subx1117: 1.2345678E-80 - 1.1345678E-80 = 1.00E-81 rounded subnormal
- subx1118: 1.2345678E-80 - 0.2345678E-80 = 1.000E-80 rounded subnormal
- precision=34
- round=half_up
- e_max=6144
- e_min=-6143
- subx1125: 130E-2 - 120E-2 = 0.10
- subx1126: 130E-2 - 12E-1 = 0.10
- subx1127: 130E-2 - 1E0 = 0.30
- subx1128: 1E2 - 1E4 = -9.9E+3
- subx9990: 10 - # = NaN invalid_operation
- subx9991: # - 10 = NaN invalid_operation
-> compiled decimal.0.1.1
-> removed decimal.0.1.1
-> installed decimal.0.1.1
Done.
# To update the current shell environment, run: eval $(opam env)
2024-11-13 21:04.47 ---> saved as "90aeb139bfacc95eeb7aa4f28c7a0515e1d3c12021d24532ce22e2707256a1b5"
Job succeeded
2024-11-13 21:05.00: Job succeeded