CTAN update: ArsenalMath