Chris [list of emoji]suetanvil@freeradical.zone
Oct 17, 2026, 1:27 PMThe counterargument for keeping Imperial (and to be clear, I'm *extremely* pro-Metric) is that the surviving units tend to be of handy sizes for doing day-to-day stuff and can easily be defined in terms of their metric counterparts and converted between them with low-precision FP arithmetic.