Enviar por SMS: Sound numerical computations in abstract acceleration