Fix incorrect rounding with subnormal/zero results of float multiplication#637

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

beetrees:fix-float-mulbeetrees/compiler-builtins:fix-float-mulCopy head branch name to clipboard