Actually it is Calculus in p-adic numbers!

Mmmmhhhh, sure? Because p-adic numbers have characteristic 0, AFAIK.