simpler Integer implementation