Incluye, como era habitual en todas las aritméticas, las pruebas para comprobar que las operaciones estaban bien hechas.