Deprecate DecimalFraction and finish NaN conversion in ExtendedDecimal
update docs and JavaScript version