Mains power supply? How have you done it?

[EddyCurrent]

House consumer unit --> 32A RCD --> shed consumer unit --> 16A CB --> cnc machine (all electrics in one panel)
cnc PC fed from a 13A socket in shed.