cross-float: Intern the different number types separately.