Check if p-adics can be use to simplify bitfiddling theory

[bollu]

section 7.1.3 (Bitwise Tricks and Techniques) of volume 4A of The Art of Computer Programming: https://www-cs-faculty.stanford.edu/~knuth/fasc1a.ps.gz

https://news.ycombinator.com/item?id=33278589