1 +true : int
   2 +false: int
   3 -true : int
   4 -false: double