const FRACTION_DENOMINATOR_SHIFT_DOWN_OFFSET: usize = 128;