Electric discharge machines for metal working [ ; controllers for electric metal working discharge machine ]