sejourne_kevin wrote:
> So is it possible to have a module of unboxed float with lesser
> precision? just like integer.
Integers aren't boxed but they are tagged. For floating point, I
suspect that any reasonably fast way of handling a tag bit would
interfere with rounding.