[Feature Request] Un-normalized floating point output
semjon00 opened this issue · comments
Semjon Kravtšenko commented
I had this on my mind, but now I see that it is actually a sensible thing to do, given that there are floating point formats.
#370