multiprecission arithmetic