Add the 64 bit and 32 bit versions together. Of course, somehow I forgot 32bit Windows 7 and 10 even existed nowadays. Especially in 10's case that feels awfully redundant.