Description
Nice.
My ArbFloats, while an immutable type, are not strictly isbits types because one of their static fields may be either an immediate value or an offset into preallocated memory that holds a fixed length BigNum.
They share some isibits type's behavior: changing a value does not alter the bit patterns of a value's fields, instead a new realization of the type is constructed and used in place of the original value.
I would like them to play well with StaticArrays. Please let me know the fuctional signatures to provide (and what they are doing, if there is any subtilty -- I have not learned that part of Julia yet). Feel free to abbreviate the types ArbFloat{ bits_of_precision } as AFloat.
If some of the linear algebra that you support gets passed along to C routines, at the algorithmic point where that transition occur, there would need to be me dispatching over the handoff. And this is a larger issue for ArbFloats (it is a corner of v0.5 where BigFloats sink).