|
From: Robert S. <rm...@un...> - 2026-06-08 08:16:50
|
Am Montag, dem 08.06.2026 um 09:07 +0800 schrieb Luca Toniolo: > On the counter point specifically: the clean wrap is exactly a > property > the standards keep by keeping integer types. hal_extend_counter() > reconstructs an integer count with modular arithmetic, no lost > counts. A > double can't do that; past 2^53 it degrades and the low bits are > gone, > and a getter/setter warning can flag it but can't recover them. So if > a > count becomes a double pin, we lose the clean wrap that integers give > us > for free. counters could also be made to wrap at 2^53. |