[math-fun] Can we make fast divisibility tests for binary computers?