fix: ipv4 address encoding from libuv to lean

[algebraic-dev]

This PR fixes the IPv4 address encoding from libuv to lean

[leanprover-community-bot]

Mathlib CI status (docs):

• ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase e3a5369bd7705e732d571319a7d3513ba9a70a63 --onto 135e7e7bd3908515354137c952f0d40945fff757. You can force Mathlib CI using the force-mathlib-ci label. (2025-10-20 16:00:55)

[leanprover-bot]

Reference manual CI status:

• ❗ Reference manual CI will not be attempted unless your PR branches off the nightly-with-manual branch. Try git rebase e3a5369bd7705e732d571319a7d3513ba9a70a63 --onto d3dda9f6d4428a906c096067ecb75e432afc4615. You can force reference manual CI using the force-manual-ci label. (2025-10-20 16:00:57)