Inference in High-Dimensional Linear Regression via Lattice Basis Reduction and Integer Relation Detection