Same here with `denominator.is_Order`.