Constant DIG_DECIMALS 

pub const DIG_DECIMALS: u32 = 3;

Number of decimal places $DIG carries as a CAT.

Whole $DIG × 10^DIG_DECIMALS = CAT mojos. Pinned together with CAT_MOJOS_PER_DIG so the two can never disagree.