Incorrect memory reported in status bar (fix included)

I am using Task Manager on Xfce4 on 32-bit Debian (x86) with 16GB RAM. The values reported for available memory are incorrect (see screenshot). I attached a patch that changes the size from gulong to guint64, which resolved the issue for me. 0001-Change-type-so-that-memory-values-are-correct.patch

Edit: corrected the screenshot.