MUL_PRECISION: bigint = ...