- When extracting num and denum constants, wrap them in T.Constants,
so they keep their dtype, and cannot be downcasted
- Upcast all elements in num and denum to get the type of the neutral element,
if it is not specified
- Cosmetic changes