[polyml] IEEE reals