XFLOAT_INIT      2628 src/alloc.c      XFLOAT_INIT (val, float_value);
XFLOAT_INIT      5530 src/alloc.c      XFLOAT_INIT (new, num);