Document session extensions for int IDs