Implementation of a big number arithmetic machine