Electronic digital computer