leastfixedpoint

Archived tweet #8991 from the @leastfixedpoint Twitter Archive
@greghendershott Should that be the default? It looks great! And separating it to log output is a big improvement.