box: replace info_append_{u32,u64} with info_append_int

It's no use having a separate method for every kind of integer we want
to append to box info - int64_t should suit everyone.