[Feature Request] Un-normalized floating point output

[semjon00]

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