Implement ExtraInt method

Implements `ExtraInt` as per #51