Pr/v3.1.x floating point division problem#6344

bwbarrett merged 2 commits intoopen-mpi:v3.1.xopen-mpi/ompi:v3.1.xfrom

edgargabriel:pr/v3.1.x-floating-point-division-problemedgargabriel/ompi:pr/v3.1.x-floating-point-division-problemCopy head branch name to clipboard