On the Decoding of LDPC Codes in Finite-Precision Arithmetics