diff --git a/eeps/eep-0016.md b/eeps/eep-0016.md
index afa6c87..b7c1bf6 100644
--- a/eeps/eep-0016.md
+++ b/eeps/eep-0016.md
@@ -197,6 +197,25 @@ Here's some text to go in the documentation:
 >
 > Allowed in guard tests.
 
+Addendum
+=========
+
+An [implementation](https://github.com/erlang/otp/pull/9995), closely
+following this EEP, was made in 2025. In the discussion concerning the
+implementation, Raimo Niskanen pointed out that the name `is_between` does
+not convey that it is a type test for `integer()`. Changing the name of
+the BIF from `is_between` to `is_integer` makes it clear that it cannot
+be used as a type test for `float()`. It explains why it returns `false`
+for `Term` being a float, just as `is_integer/1`, and like `is_function/2`
+does when the first argument is not a function.
+
+This suggestion was favored by most of the discussion participants. A
+[new implementation](https://github.com/erlang/otp/pull/10276) was made,
+where the only difference was to change the name of the BIF from `is_between`
+to `is_integer`.
+
+The latter implementation is planned to be included in OTP 29.
+
 Copyright
 =========