more docs to ExtendedDecimal, etc.