> 46K RAM

Not 64?

(Edit: I see part of the address space is reserved for ROM, but it still seems a bit wonky.)