Справочное руководство по C++

30

    точкой большей точности преобразуется в значение типа float
    меньшей точности и значение находится в пределах, задаваемых
    представлением типа, то в результате может получиться или
    ближайшее большее или ближайшее меньшее представимое значение.
    Если результат оказался вне границ представления типа, поведение
    неопределено.
    R.4.4 Целочисленные и числа с плавающей точкой
    Преобразование значения с плавающей точкой к целочисленному типу
    сводится к "усечению", т.е. отбрасыванию дробной части. Такие
    преобразования зависят от машины, в частности в какую сторону будет
    проходить усечение для отрицательных чисел определяется на разных
    машинах по разному. Результат считается неопределенным, если
    значение нельзя представить в целочисленном типе.
    Преобразования целочисленных значений к значениям с плавающей
    точкой математически корректны настолько, насколько это позволяет
    система команд. Может произойти потеря точности, если целочисленное
    значение нельзя точно представить как значение с плавающей точкой.
    R.4.5 Арифметические преобразования
    Для большинства операций преобразования операндов и тип результата
    определяются одними и и теми же правилами. Это правило можно назвать