formula.py - this block here:

https://github.com/python-excel/xlrd/blob/master/xlrd/formula.py#L1012

My reading of that is that even Excel integers (`tInt`) are stored as Python floats - probably so that we get true division in all cases.