def dotted
import bend-kit-dns@0.7.0.0/dns.bend as Dnsimport Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
164def dotted(+ip: U32) -> String:
165 U32.show(U32.shrn(ip, 24n)) ++ "." ++ U32.show(Bytes.b8(U32.shrn(ip, 16n))) ++ "." ++ U32.show(Bytes.b8(U32.shrn(ip, 8n))) ++ "." ++ U32.show(Bytes.b8(ip))