Definition Of Greatest Integer Function