cast out nines in French

(arithmetic) To apply a procedure for verifying whether an arithmetic operation is probably correct or certainly incorrect using modulo characteristics of the digit 9.