I never thought I would see p-adic numbers applied to CS. I'm glad my number theory class wasn't a complete waste.