Precision and layout changes in Real Arithmetic