parent_float_map32
parent_float_real
.../base/number/real/real_32.li line #14
.../base/number/real/real_32.li line #16