English arbitrary-precision arithmetic: translation to other languages