Envoyer par SMS: Type-Based Approaches to Rounding Error Analysis