На самом деле об это долго долбились, додолбились до того, что
типы реконструировать в динамике почти всегда можно (а в тех
случаях, когда нельзя - это значит, что объект можно сносить на
хрен). Но получается сложно и в worst case - с экспонентами.

В принципе, если бороться за 32 бита - то надо скорее что-то
вроде cyclone учудять.