Arithmetical programs working right for both supported encodings of numbers