electronic numerical integrator and computer{=ENIAC}