Symbol: FloatInIntFormat_t