Python Greatest Integer Function