IA64 не соответствует стандарту IEEE для чисел с плавающей точкой?

Я попытался этот код для представления системы хранения чисел с плавающей запятой:

float *f = new float();
int *i = new int();
i = reinterpret_cast<int *>(f);
std::bitset<32> *bs;

std::cin>>*f;
bs = new std::bitset<32>(*i);
std::cout<<*bs<<" == "<<*f<<std::endl;

Но когда он работает с 23,5, результат 01000001-10111100-00000000-00000000, Сила 10000001=63,
Разве это не должно быть 64 из-за стандарта IEEE?
И богомол должен быть 00010111-10000000-00000000, Это правда?

ЗаметкаЯ скомпилировал этот код с GCC и VS оба. Результат был таким же.