(= 12345678i32 (encode-i32 (decode 12345678i32)))