Merge some numeric traits with Real and don't re-export RealExt#11412

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

brendanzab:num-cleanupsbrendanzab/rust:num-cleanupsCopy head branch name to clipboard