What you would need is the language to track the expected range of the numbers. You often end up with multiple different multiply/divide implementations (shifti

What you would need is the language to track the expected range of the numbers. You often end up with multiple different multiply/divide implementations (shifting amounts before/after) based on if you can safely guarantee you are within an expected range or not.