Symbol: ieee_float_shape_type