Re: [Mpi-22] [MPI Forum] #107: Types of predefined constants in Appendix A