I mentioned this somewhere else, but my current feeling is that it shouldn't, because a SymPy boolean is not an integer, whereas `bool` is. The reason this matters is that the operators `&`, `|`, `^`, `>>`, `<<`, and `~` act differently bitwise than logically (indeed, this was one of the main motivations of this PR). See the docstrings of the relevant boolean functions And, Or, etc. for examples.