Fixed bug in _integer_basis