Greatest Integer Function Means In Python