x<<y == int(x * 2**y)