Factory interface for PersistentMapInt.
Whitespace.