Implement ExtraInt method

Implements `ExtraInt` as per #51
I don't think we should cast a float to int, but have an ExtraFloat that returns a float.