Numerical Decoding, Johnson-Lindenstrauss Transforms, And Linear Codes