rational no more constexpr: too many constraints. More ADL. Normalized at construction.