That's true, but I you really don't need the computational power, you might want to have that well defined limited semantic to either not accidentally shoot you

That's true, but I you really don't need the computational power, you might want to have that well defined limited semantic to either not accidentally shoot you in foot (the least important), or being able to statically verify it's properties in finite time.