发送短信: Sound numerical computations in abstract acceleration