Yea, right now all 32-bit equivalent rpm's for such things like libstdc/c++, glibc, gcc, etc need to be installed as part of linux 64-bit O/S install such that applications can compile and run in 32-bit mode. Support for full 64-bit support libs (at HMP level) is not available right now (HMP only has built fwl and driver at 64-bit currently). Overall, this has been a topic of discussion for a while now, but there are no official plans currently to add 64 lib support. But that does not mean we will not eventually do it.
Jeff