Update verifnumregnat.c