https://www.raspberrypi.org/blog/8gb-raspberry-pi-4-on-sale-now-at-75/
… and they’re all sold out :S
… and Xojo ARM is still 32bits