integrality