Optimize BoxesRunTime with the numeric semantics in mind.