Symbol: ieee_double_u