XFLOAT_INIT      2784 src/alloc.c      XFLOAT_INIT (val, float_value);
XFLOAT_INIT      5797 src/alloc.c      XFLOAT_INIT (new, num);