A Magma package for ideal arithmetic in big number fields