Re: [mpi-21] IEEE Floating point