Moved DBLPRI out of utils.hpp to datum.cc, removed its percent sign, and renamed it to PR_RECONSTRUCTABLE_DOUBLE.