focus on as-if. truncate based on what's observable on a per-opcode basis idea: precision of operations is "as if" it was infinite precision. reality will be that operations will be truncated to fit anyway.
This is needed to get the correct answer for saturating multiply.