オーバーフローがない限りa<<bがa*(2のb乗)に等しいってことは規格で決まってるよ