Enviar aquest missatge de text: Type-Based Approaches to Rounding Error Analysis