The discrete-ion effect in ionic double-layer theory