Moved DBLPRI out of utils.hpp to datum.cc, removed its percent sign, and renamed it to PR_RECONSTRUCTABLE_DOUBLE.
Merge branch 'next' into sam_dblpri
Added comment to PR_RECONSTRUCTABLE_DOUBLE.
Merge branch 'sam_dblpri' into next