-- to be included BEFORE binary.lus -- Signed binary on 4 bits -- (range [-7, 7] + nan (001) const BIN_SZ=4; const UsrInt_0 = [0, 0, 0, 0]; const UsrInt_1 = [1, 0, 0, 0]; const UsrInt_2 = [0, 1, 0, 0]; const UsrInt_3 = [1, 1, 0, 0]; const UsrInt_4 = [0, 0, 1, 0]; const UsrInt_5 = [1, 0, 1, 0]; const UsrInt_6 = [0, 1, 1, 0]; const UsrInt_7 = [1, 1, 1, 0]; const UsrInt_m7 = [1, 0, 0, 1]; const UsrInt_m6 = [0, 1, 0, 1]; const UsrInt_m5 = [1, 1, 0, 1]; const UsrInt_m4 = [0, 0, 1, 1]; const UsrInt_m3 = [1, 0, 1, 1]; const UsrInt_m2 = [0, 1, 1, 1]; const UsrInt_m1 = [1, 1, 1, 1];