Int2Int: a framework for mathematics with transformers