>>851
半年位前みたときは
32bitだけだったような気がする。
今は知らない。