rAKA/packages/documentation_user_manual.cmake

bugfixes/64bit-integer…c2f8664968f2c057736ebab…