Looks like 3.0 is still weakly typed, making it unsuitable for anything but glue:

    In [1]: True + 1
    Out[1]: 2

    In [2]: (False + 1 == True) - 5
    Out[2]: -4