Python Greatest Integer Function Domain