zcoord: Delete some obsolete comments

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/base/zcoord.rs b/base/zcoord.rs
index 948d62b339d68b4a8edf873e6b048afae8a29a7c..a656f9846bcb809b1474a54a48381ffe9640bb63 100644 (file)
--- a/base/zcoord.rs
+++ b/base/zcoord.rs
@@ -10,8 +10,6 @@
 //  *  JSON is not lossy
 //  *  JSON is human-comprehensible
 //  *  JavaScript can compare efficiently
-//     JavaScript can do arithmetic efficiently
-//  *  Limb size is 48 for fast JS arithmetic
 //     Limb size is small for not being too full of padding
 //  *  Limb size is big so step algorithm rarely encounters limb boundaries
 //