Allow rounding mode selection?

[starkat99]

Allow selecting how to round when converting down to f16. Note that while x86 F16C hardware allows selecting rounding mode, ARM in particular does not, so keeping consistent across implementation may be an issue (current defaults on supported hardware/software are consistent for the moment, though adding ARM and other hardware later may not be consistent). Will be a bit tricky to get the interface right.