make_float
| float { $$ = cast(get_type("float"), make_float($1)); }
| typecast float { $$ = cast($1, make_float($2)); }
static data_t make_float(double);