他のPCだと、LPDDR5Xの7500って記載されているけど、これって7533MHzのことですよね。
計算めんどくさいので、7500に丸めて1000で割ることにするのが業界の慣習なのかな。