3blue1brown has an earlier, kind of meta, video about “What does it feel like to invent math?” where Grant tries to show how one might invent, and so by define, p-adics.
Complete with the customarily excellent visual aides.
I have a vague feeling that the relationship between 2-adic analysis and practical computation is underutilized, but I haven’t been able to nail down a compelling use case.