Constant soroban_env_host::budget::COST_MODEL_LIN_TERM_SCALE_BITS

pub const COST_MODEL_LIN_TERM_SCALE_BITS: u32 = 7;

The number of bits to scale the linear term by. The linear coefficient has been scaled by this factor during parameter fitting to retain more significant digits. Thus to get the cost from the raw input, we need to scale the result back by the same factor.