Как правильно перевести на английский слово «числодробилка»?
Добрый вечер.
В отношении языков есть такое понятие, как числодробилка - язык, который имеет хорошую производительность математических операций.
Подскажите, как корректно перевести этот термин на английский язык, чтобы коротко и сохранился смысл? Может есть общепринятый перевод?