encoding signed less than