diff --git a/UIPS/UIP-0127.md b/UIPS/UIP-0127.md
index f7ce40b..f594b74 100644
--- a/UIPS/UIP-0127.md
+++ b/UIPS/UIP-0127.md
@@ -161,6 +161,8 @@ At the current time, Lagoon defines the following operators, a handful of which
 
 The IEEE 754 rounding mode is a property of the operation rather than of the value(s) involved.  To effect this correctly, `/lib/lagoon` implements a `++lake` wrapper in a door-like pattern to modify the core's behavior.  This information propagates to gates.
 
+The Lagoon implementation is available in the branch [`sigilante/lagoon-reals`](https://github.com/urbit/urbit/pull/6971).
+
 ### Jetting
 
 Jets will resolve at the level of (e.g.) `++add` rather than `++bin-op`.
@@ -173,6 +175,8 @@ In the long run, as more possibilities for userspace jets become available, `/li
 
 Lagoon will jet `/lib` into the `non` chapter and place corresponding jets in `/i`.
 
+The Vere implementation is available in the branch [`lagoon-jets`](https://github.com/urbit/vere/pull/638).
+
 ### Rationale for `%real`
 
 IEEE 754 `%real`s are a well-understood, well-vetted component in the numerical ecosystem for scientific computing and Urbit's `@r` affordances.
@@ -182,12 +186,12 @@ We have comprehensive unit test coverage of `/lib/lagoon` and SoftBLAS, lending
 Taken together, these lead us to believe that introducing `%real` to the developer community first is a conservative assay to roll out or try several new features:
 
 1. Jetted `/lib`.
-2. Tetchy hardware–software coupling
-3. Linear algebra interface and affordances
+2. Tetchy hardware–software coupling.
+3. Linear algebra interface and affordances.
 
 ## Resources
 
-Primary development is taking place in [`urbit/numerics`](https://github.com/urbit/numerics).
+Primary development is taking place in [`urbit/numerics`](https://github.com/urbit/numerics).  The results of this are synced into Urbit and Vere via the above links.
 
 Details are available in `~mopfel-winrux/numeric-computation-and-machine-learning` and [in summary form](https://gist.github.com/sigilante/f9b0d6b5d5a7675f96415e35c0b22d95).