Zaslat SMS: Sound numerical computations in abstract acceleration