8 | | (Besides, it contradicts the documentation of the infinity "ring", the parent of `Infinity`, which states that the infinity "ring" does not have a coercion map to any actual rings.) |

| 8 | Less polemically phrased, it has the potential to be dangerously confusing. It reflects the ''implementation choice'' that multiprecision reals are also able to represent infinity. |

| 9 | |

| 10 | Besides, it contradicts the documentation of the infinity "ring", the parent of `Infinity`, which states that the infinity "ring" does not have a coercion map to any actual rings. |