[Mathlib-update] JMathLib

[Ernst R. <re...@ar...>]

Hello everybody,
I have the newsletter now for some days but no mail arrived.
Is the development of JMathLib still active?

If so, i would like to try an extension serving verified computing:
Arithmetics based on java s BigDecimal.
Unfortunately, I do not get along very well with the documentation of
ExternalFunctions.
My problem are the tokens:
Would i need a distinguished BigDecimalToken?
Is overwrite of operators possible?
If not: if invoking bigAdd(x,y) is automatic casting possible?
In the manual the Cast-classes are described but i did not find a single
one in the code.

Could you help me?
greetings,
Ernst