No longer using the Ord class (can mislead deep embeddings)
Adding multi-param version of Fractional.

This is to allow DE-overloading.