num2texh: debug--