理论上表达式str(sqr(b*b-4*a*c))的类型是______.