32bit * 2 だったら 33bit じゃね?