A Primal-Dual Algorithm for Solving Polyhedral Conic Systems with a Finite-Precision Machine