As exigências são: resolver números positivos e negativos;  Fazer duas vezes o um milhão, nunca um milhão de vezes o 2, ou seja, sempre o menor número de somas; usar o try e pedir nova execução.


Como estou tentando fazer:

    import math
L=('s')
while (L=='s'):
 while True:
   try:
    a=int(input('Digite um número: '))
    break
   except: print ('Número inválido. Use um número inteiro.')
 while True:
   try:
    b=int(input('Digite outro número: '))
    break
   except: print ('Número inválido. Use um número inteiro.')
  
 if (a>0 and b>0) or (a<0 and b<0):
   if abs(a)>=abs(b):
     x=0
     y=0
     for x in range(x,abs(b),1): 
      y=y+a
     print ('O produto entre',a,'e',b,'é igual:',abs(y))
   else:
     x=0
     y=0
     for x in range(x,abs(a),1):
      y=y+b   
     print ('O produto entre',a,'e',b,'é igual:',abs(y))
 else:
   if abs(a)>=abs(b):
     x=0
     y=0
     for x in range(x,abs(b),1): 
      y=y+a
     print ('O produto entre',a,'e',b,'é igual:',-abs(y))
   else:
     x=0
     y=0
     for x in range(x,abs(a),1):
      y=y+b   
     print ('O produto entre',a,'e',b,'é igual:',-abs(y))
   
 L = input('Se deseja continuar digite s:')