12 Oct
2025
12 Oct
'25
12:48 p.m.
That's not what {} does by convention. It should output shortest roundtrip.
That probably means round-tripping of values (i.e. ignoring cohorts). It would be nice to support a cohort-aware formatter. For example, "%Da" in C23 printf provides a round-trip representation that distinguishes cohorts (though not the shortest one). Another cohort-related topic: Finite values have cohorts. Additionally, zero has both +0 and -0, and infinity has multiple bit representations. So we cannot hash decimal FP numbers simply by delegating to hash functions for unsigned integer types. We may need to canonicalize numbers before hashing. Regards, Michel