Why are ethernet jumbo frames 9000 bytes?

In a marathon of Bryan Cantrill interviews, Bryan wondered out loud why “jumbo” ethernet frames are 9000 bytes. These days, that’s not a particularly jumbo number, and it’s also a bizarre number. Why not a power of two, or at least a nice round 10000?