Symbol: floatx80NumQIn