Float trait: shorten prefixes, rename EXP_MAX to EXP_SAT#738

tgross35 merged 3 commits intorust-lang:masterrust-lang/compiler-builtins:masterfrom

tgross35:float-trait-renamingtgross35/compiler-builtins:float-trait-renamingCopy head branch name to clipboard