Symbol: ieee754dp_spcvals