Integrality and the Characteristic Polynomial