Moved inverse into Extensive module