NICR_PRECISION: 100000000000000000000n = 100_000_000_000_000_000_000n

NICR fixed-point precision = 1e20 (100 × 1e18). Verified on the fork: HintHelpers.computeNominalCR(coll, debt) == coll * 1e20 / debt exactly.