feat(data/real/ennreal): composition of coercion of natural numbers in ennreal (#9447)
feat(data/real/ennreal): composition of coercion of natural numbers in ennreal (#9447)






leanprover-community/mathlib,leanprover-community/mathlib