Для произвольного значения «v»; гарантирует ли C89, что математически точный целочисленный результат для floor (v) и ceil (v) является представимым значением типа 'v'?

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

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