Skip to content

Make implicit integral to Real conversions explicit - #1439

Merged
mborland merged 1 commit into
developfrom
implicit_conversions
Aug 26, 2026
Merged

Make implicit integral to Real conversions explicit#1439
mborland merged 1 commit into
developfrom
implicit_conversions

Commits

Commits on Aug 26, 2026