Documenting our own Integer interface.