but why is it not called x86s_64 or x64s or whatever? x86s gives the impression that it is 32 bit if you otherwise know nothing about it