Commit 2025-01-21 01:50 0885c937
View on Github →fix: make NNRatCast
computable for NNReal
and ENNReal
(#20884)
This lets us write 0.5 : NNReal
and 0.5 : ENNReal
without issue; previously the former was noncomputable, and there was no instance for the latter.
This also adds some mostly-useless Repr
instances, which are useful for testing this.