arithmetical restoration