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.