Для произвольного значения 'v' типа с плавающей точкой (float / double / long double), гарантирует ли C89, что математически точный целочисленный результат floor (v) и ceil (v) является представимым значением типа 'v'?

Гарантирует ли это какой-либо из последующих стандартов C или C ++?

IEEE 754 гарантирует это?