Update INSTALL to better describe the large-number arithmetic situation.