A code maps back to the lower edge of its bin in this model. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Lower-edge reconstruction returns the bin's left edge