multiprecision arithmetic