-
Ready: clarification for the paper: Rename ENABLE_REAL_HP → ENABLE_MULTI_REAL_HP which enables RealHP<N> for N ∈ {1,2,3,4,8,10,20}, fix #247
Ready: clarification for the paper: Rename ENABLE_REAL_HP → ENABLE_MULTI_REAL_HP which enables RealHP<N> for N ∈ {1,2,3,4,8,10,20}, fix #247