Archived tweet #12132 from the @leastfixedpoint Twitter Archive@ryzokuken That's what it's doing, I think, yeah. But I'm not sure why the limit of *20* digits, and why it's implementation-defined whether to round up or down at the end. Can it even be observable, after then converting to an IEEE754 double?