Rule M5-0-6 (required, implementation, automated)

An implicit integral or floating-point conversion shall not reduce the size of the underlying type. See MISRA C++ 2008 [7]