float printer and float-preserving encodings
The following discussion from !147 (merged) should be addressed:
-
@raphael-proust started a discussion: (+5 comments) I can never remember which of the float printer is preferred. Should we use
f
org
?