obsolete REAL_32_32