Example of QNs where the line between model and implementation is blurred
Rounding in target functions
Variable integer ranges