Re: [mpiwg-p2p] FP16 16-bit-floating-point