Implement ExtraInt method

Implements `ExtraInt` as per #51
PR updated with `ExtraFloat64` in favour of `ExtraInt`.