converting ip int to dotted string