Update finite_mpuint.cpp