Merge pull request #644 from i12345/patch-1

Update INTERNALS.md
2024-05-15 21:00:32 +02:00 · 2024-05-15 21:00:32 +02:00 · 72205a688f
commit 72205a688f
parent c264b1c291 edad668dbd
1 changed files with 1 additions and 1 deletions
--- a/INTERNALS.md
+++ b/INTERNALS.md
@ -26,7 +26,7 @@ article](https://blog.kevinjahns.de/are-crdts-suitable-for-shared-editing/).

 Each client is assigned a unique *clientID* property on first insert. This is a
 random 53-bit integer (53 bits because that fits in the javascript safe integer
-range).
+range \[JavaScript uses IEEE 754 floats\]).

 ## List items