Fractional instance
Also Show Trigo's
Change my nickname
Use the default implementation of recip
Implement derivation