Computing with Residue Numbers in High-Dimensional Representation