Float TD restriction out.  MD instance for :<=> remains generic over TD though.
implement Pi for R