Fix rounding bug - Merge from branch_v2_5_1plus_ucsd1
tree649afaaa1a9bc0bd56a591700bc10edebc1300e1
-rw-r--r-- 416 ACKNOWLEDGMENTS.txt
-rw-r--r-- 3007 LICENSE.txt
drwxr-xr-x - creation
drwxr-xr-x - doc
drwxr-xr-x - etc
drwxr-xr-x - factory
drwxr-xr-x - frontend
drwxr-xr-x - install
drwxr-xr-x - lib
drwxr-xr-x - poolwatcher
drwxr-xr-x - tools