Use `IP_Network.electric`

* add `Net_Interface_in_IP_Network.mask_len`