Build:
- 0
2026-01-13 04:05.02: New job: test decimal.0.3.1 with dune.3.21.0, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29216/head (001b427da21d4d746e124eaaffab7b4134813f6d)
on debian-13-ocaml-4.14/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/29216/head" && git reset --hard 001b427d
git fetch origin master
git merge --no-edit 1c361fac36225534ee877701522e296785f9a9db
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.14@sha256:d765b54c014ef238f3a84185055fd22f6a5e5bea6d6bbe9ec94a1c7ac9087afa
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-dev /usr/bin/opam
RUN opam init --reinit -ni
RUN opam option solver=builtin-0install && opam config report
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
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 dune.3.21.0 3.21.0
RUN opam reinstall dune.3.21.0; \
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-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'dune.3.21.0' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN opam reinstall decimal.0.3.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-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'decimal.0.3.1' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN (opam reinstall --with-test decimal.0.3.1) || true
RUN opam reinstall --with-test --verbose decimal.0.3.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-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'decimal.0.3.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 .
2026-01-13 04:05.02: Using cache hint "ocaml/opam:debian-13-ocaml-4.14@sha256:d765b54c014ef238f3a84185055fd22f6a5e5bea6d6bbe9ec94a1c7ac9087afa-dune.3.21.0-decimal.0.3.1-001b427da21d4d746e124eaaffab7b4134813f6d"
2026-01-13 04:05.02: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:d765b54c014ef238f3a84185055fd22f6a5e5bea6d6bbe9ec94a1c7ac9087afa)
(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 "opam option solver=builtin-0install && opam config report"))
(env OPAMDOWNLOADJOBS 1)
(env OPAMERRLOGLEN 0)
(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 dune.3.21.0 3.21.0"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall dune.3.21.0;\
\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-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'dune.3.21.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall decimal.0.3.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-13\\\"\"; 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.3.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 (network host)
(shell "(opam reinstall --with-test decimal.0.3.1) || true"))
(run (shell "opam reinstall --with-test --verbose decimal.0.3.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-13\\\"\"; 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.3.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2026-01-13 04:05.02: Waiting for resource in pool OCluster
2026-01-13 19:04.13: Waiting for worker…
2026-01-13 19:06.37: Got resource from pool OCluster
Building on eumache
All commits already cached
Updating files: 96% (18465/19211)
Updating files: 97% (18635/19211)
Updating files: 98% (18827/19211)
Updating files: 99% (19019/19211)
Updating files: 100% (19211/19211)
Updating files: 100% (19211/19211), done.
HEAD is now at 1c361fac36 Merge pull request #29210 from dinosaure/release-miou-v0.5.1
Merge made by the 'ort' strategy.
packages/chrome-trace/chrome-trace.3.21.0/opam | 41 ++++++++++++
.../dune-action-plugin.3.21.0/opam | 54 ++++++++++++++++
.../dune-build-info/dune-build-info.3.21.0/opam | 47 ++++++++++++++
.../dune-configurator.3.21.0/opam | 51 +++++++++++++++
packages/dune-glob/dune-glob.3.21.0/opam | 44 +++++++++++++
.../dune-private-libs.3.21.0/opam | 52 +++++++++++++++
packages/dune-rpc-lwt/dune-rpc-lwt.3.21.0/opam | 43 +++++++++++++
packages/dune-rpc/dune-rpc.3.21.0/opam | 46 +++++++++++++
packages/dune-site/dune-site.3.21.0/opam | 39 +++++++++++
packages/dune/dune.3.21.0/opam | 75 ++++++++++++++++++++++
packages/dyn/dyn.3.21.0/opam | 42 ++++++++++++
packages/fs-io/fs-io.3.21.0/opam | 41 ++++++++++++
packages/ocamlc-loc/ocamlc-loc.3.21.0/opam | 45 +++++++++++++
packages/ordering/ordering.3.21.0/opam | 40 ++++++++++++
packages/stdune/stdune.3.21.0/opam | 48 ++++++++++++++
packages/top-closure/top-closure.3.21.0/opam | 40 ++++++++++++
packages/xdg/xdg.3.21.0/opam | 41 ++++++++++++
17 files changed, 789 insertions(+)
create mode 100644 packages/chrome-trace/chrome-trace.3.21.0/opam
create mode 100644 packages/dune-action-plugin/dune-action-plugin.3.21.0/opam
create mode 100644 packages/dune-build-info/dune-build-info.3.21.0/opam
create mode 100644 packages/dune-configurator/dune-configurator.3.21.0/opam
create mode 100644 packages/dune-glob/dune-glob.3.21.0/opam
create mode 100644 packages/dune-private-libs/dune-private-libs.3.21.0/opam
create mode 100644 packages/dune-rpc-lwt/dune-rpc-lwt.3.21.0/opam
create mode 100644 packages/dune-rpc/dune-rpc.3.21.0/opam
create mode 100644 packages/dune-site/dune-site.3.21.0/opam
create mode 100644 packages/dune/dune.3.21.0/opam
create mode 100644 packages/dyn/dyn.3.21.0/opam
create mode 100644 packages/fs-io/fs-io.3.21.0/opam
create mode 100644 packages/ocamlc-loc/ocamlc-loc.3.21.0/opam
create mode 100644 packages/ordering/ordering.3.21.0/opam
create mode 100644 packages/stdune/stdune.3.21.0/opam
create mode 100644 packages/top-closure/top-closure.3.21.0/opam
create mode 100644 packages/xdg/xdg.3.21.0/opam
(from ocaml/opam:debian-13-ocaml-4.14@sha256:d765b54c014ef238f3a84185055fd22f6a5e5bea6d6bbe9ec94a1c7ac9087afa)
2026-01-13 19:06.56 ---> using "2ecda48447fc68e8dcd256d2898af0a11126a077e05d747a0dcdff2845100de1" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2026-01-13 19:06.56 ---> using "79eb1218297339daa5e94be48ad16ae73f417b872defa106efeff5b5f3323e6e" 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.
Continue? [Y/n] y
Format upgrade done.
This 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.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2026-01-13 19:06.56 ---> using "bf81485066c79fc9faf7a51b95869ba9d998fe2bf3de5ff7f59b253fc915122f" from cache
/home/opam: (run (shell "opam option solver=builtin-0install && opam config report"))
Set to 'builtin-0install' the field solver in global configuration
# opam config report
# opam-version 2.5.0
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=debian os-version=13
# solver builtin-0install
# install-criteria -changed,-count[avoid-version,solution]
# upgrade-criteria -count[avoid-version,solution]
# jobs 71
# repositories 1 (version-controlled)
# pinned 1 (version)
# current-switch 4.14
# invariant ["ocaml-base-compiler" {= "4.14.2"}]
# compiler-packages ocaml-base-compiler.4.14.2, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/4.14/lib/ocaml/stublibs:/home/opam/.opam/4.14/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 4.14.2
2026-01-13 19:06.56 ---> using "f7c0c02658daf7a6d6c7671a8028e0e553264100bd569724894645b7844f6d7f" from cache
/home/opam: (env OPAMDOWNLOADJOBS 1)
/home/opam: (env OPAMERRLOGLEN 0)
/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/"))
2026-01-13 19:06.56 ---> using "9b3e592c65565b9b3dc8b88c605e54ddba818eb105df981d794040a64c2f9916" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2026-01-13 19:06.58 ---> using "09c39d7126e88ed573ca8f78acbffb48c0088baecebf7a9155a91c3290ace20b" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-01-13 19:06.58 ---> using "1f9ebb837e22c3f42b1c3f6e7178a2aa2fcb8206685e62bba70fde550083c584" from cache
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian trixie InRelease [140 kB]
- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
- Get:4 http://deb.debian.org/debian trixie/main amd64 Packages [9670 kB]
- Get:5 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [95.5 kB]
- Fetched 9997 kB in 1s (7296 kB/s)
- Reading package lists...
-
2026-01-13 19:06.58 ---> using "bc5a313c83583d746179a868806b410c236b5a3d4895b7d8bc464eed6cfe706e" from cache
/home/opam: (run (shell "opam pin add -k version -yn dune.3.21.0 3.21.0"))
dune is now pinned to version 3.21.0
2026-01-13 19:06.58 ---> using "448b2b0e77526967dc1d84c9cd1fd4fdf010f08d862d127b94c63a52bbc324d1" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall dune.3.21.0;\
\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-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'dune.3.21.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
dune.3.21.0 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 1 package
- install dune 3.21.0 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.21.0 (cached)
-> installed dune.3.21.0
Done.
# To update the current shell environment, run: eval $(opam env)
2026-01-13 19:06.58 ---> using "5acb627376dc8b6ecaceedd8635589b9dfb44ea06abcf3fc03092c3e94ea4126" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall decimal.0.3.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-13\\\"\"; 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.3.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.3.1 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 5 packages
- install conf-gmp 5 [required by zarith]
- install conf-pkg-config 4 [required by zarith]
- install decimal 0.3.1
- install ocamlfind 1.9.8 [required by zarith]
- 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"
- 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 ... 20622 files and directories currently installed.)
- Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../1-libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../2-libpkgconf3_1.8.1-4_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../3-pkgconf-bin_1.8.1-4_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../4-pkgconf_1.8.1-4_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../5-pkg-config_1.8.1-4_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-4) ...
- Setting up libpkgconf3:amd64 (1.8.1-4) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf:amd64 (1.8.1-4) ...
- Setting up pkg-config:amd64 (1.8.1-4) ...
- Processing triggers for libc-bin (2.41-12) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved conf-gmp.5 (cached)
-> installed conf-gmp.5
-> installed conf-pkg-config.4
-> retrieved decimal.0.3.1 (https://opam.ocaml.org/cache)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved zarith.1.14 (cached)
-> installed ocamlfind.1.9.8
-> installed zarith.1.14
-> installed decimal.0.3.1
Done.
# To update the current shell environment, run: eval $(opam env)
2026-01-13 19:07.17 ---> saved as "a766b6b519ef99c52d2670d2ff029ca2340535b55fce227e91af281f43b8182a"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test decimal.0.3.1) || true"))
The following actions will be performed:
=== recompile 1 package
- recompile decimal 0.3.1
=== install 14 packages
- install alcotest 1.9.1 [required by decimal]
- install angstrom 0.16.1 [required by decimal]
- install astring 0.8.5 [required by alcotest]
- install bigstringaf 0.10.0 [required by angstrom]
- install cmdliner 2.1.0 [required by alcotest]
- install csexp 1.5.2 [required by dune-configurator]
- install dune-configurator 3.21.0 [required by bigstringaf]
- install fmt 0.11.0 [required by alcotest]
- install ocaml-syntax-shims 1.0.0 [required by alcotest, angstrom]
- install ocamlbuild 0.16.1 [required by fmt, astring, uutf]
- install re 1.14.0 [required by alcotest]
- install stdlib-shims 0.3.0 [required by alcotest]
- install topkg 1.1.1 [required by fmt, astring, uutf]
- install uutf 1.0.4 [required by alcotest]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved alcotest.1.9.1 (https://opam.ocaml.org/cache)
-> retrieved angstrom.0.16.1 (https://opam.ocaml.org/cache)
-> retrieved astring.0.8.5 (https://opam.ocaml.org/cache)
-> retrieved bigstringaf.0.10.0 (https://opam.ocaml.org/cache)
-> retrieved cmdliner.2.1.0 (https://opam.ocaml.org/cache)
-> retrieved csexp.1.5.2 (https://opam.ocaml.org/cache)
-> retrieved decimal.0.3.1 (https://opam.ocaml.org/cache)
-> installed csexp.1.5.2
-> retrieved dune-configurator.3.21.0 (https://github.com/ocaml/dune/releases/download/3.21.0/dune-3.21.0.tbz)
-> retrieved fmt.0.11.0 (https://opam.ocaml.org/cache)
-> retrieved ocaml-syntax-shims.1.0.0 (https://opam.ocaml.org/cache)
-> retrieved ocamlbuild.0.16.1 (https://opam.ocaml.org/cache)
-> retrieved re.1.14.0 (https://opam.ocaml.org/cache)
-> retrieved stdlib-shims.0.3.0 (https://opam.ocaml.org/cache)
-> retrieved topkg.1.1.1 (https://opam.ocaml.org/cache)
-> retrieved uutf.1.0.4 (https://opam.ocaml.org/cache)
-> installed stdlib-shims.0.3.0
-> installed cmdliner.2.1.0
-> installed dune-configurator.3.21.0
-> installed ocaml-syntax-shims.1.0.0
-> installed re.1.14.0
-> installed bigstringaf.0.10.0
-> installed angstrom.0.16.1
-> removed decimal.0.3.1
-> installed ocamlbuild.0.16.1
-> installed topkg.1.1.1
-> installed uutf.1.0.4
-> installed fmt.0.11.0
-> installed astring.0.8.5
-> installed alcotest.1.9.1
-> installed decimal.0.3.1
Done.
# To update the current shell environment, run: eval $(opam env)
2026-01-13 19:07.55 ---> saved as "e675dd491bf44a4be4b719889432c5f76b3ddf62cda0dda39f7922f8af1080d2"
/home/opam: (run (shell "opam reinstall --with-test --verbose decimal.0.3.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-13\\\"\"; 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.3.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.3.1
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/4: [decimal.0.3.1: extract]
-> retrieved decimal.0.3.1 (cached)
Processing 2/4: [decimal: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "decimal" "-j" "71" "@install" "@runtest" (CWD=/home/opam/.opam/4.14/.opam-switch/build/decimal.0.3.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...
- quax62100: quantize ~exp:-sNaN1234567890 11 = -NaN67890 invalid_operation
- quax998: quantize ~exp:# 10 = NaN invalid_operation
- quax999: quantize ~exp:1e10 # = 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
- Testing `Decimal'.
- This run has ID `Z573C57M'.
-
- [OK] of_yojson 0 int.
- [OK] of_yojson 1 int.
- [OK] of_yojson 2 float.
- [OK] of_yojson 3 float.
- [OK] of_yojson 4 string.
- [OK] of_yojson 5 other.
- [OK] to_yojson 0 pi.
-
- Full test results in `~/.opam/4.14/.opam-switch/build/decimal.0.3.1/_build/default/test/_build/_tests/Decimal'.
- Test Successful in 0.001s. 7 tests run.
-> compiled decimal.0.3.1
-> removed decimal.0.3.1
-> installed decimal.0.3.1
Done.
# To update the current shell environment, run: eval $(opam env)
2026-01-13 19:08.05 ---> saved as "53dc9b6cac53525f209e65dc14e45ef003a8f768fe2fba88ce646a24e7a99228"
Job succeeded
2026-01-13 19:08.19: Job succeeded