arithmetical check