Charge quantization