> any basis of R over Q has to be uncountably infinite.
It's actually trivial to give a (infinite but) countable set of (non-orthogonal) basis vectors: 2^i for integer i. 0 and 1 are both rationals (scalars), and every real number has a (possibly infinite) binary expansion, eg e = 10.1011011111100001... = 1·2^1 + 0·2^0 + 1·2^-1 + 0·2^-2 + ...