Integrating Greatest Integer Function