I haven't used the Raspberry Pi website in a while, and I want to download and install the Raspberry Pi OS to an SD card, to boot my Raspberry Pi 3b+. The website keeps telling me the OS is 32 bit. I thought the Raspberry Pi 3b+ was 64 bit. I don't want to use a 32 bit OS if my hardware is 64 bit. I'm finding the new website very confusing. I know how to clone image files in Linux, that's no problem, it's just the semantics of the website, and even finding the proper download. Did Raspberry Pi move away from 64 bit OS support?