this might be worthwhile to revisit https://github.com/flintlib/flint/issues/753
this might be worthwhile to revisit flintlib/flint#753