Usually the measured number is larger due to belt stretch. So you may want to look into why that is the case before adjusting steps per mm. Adjusting steps per mm is kind of a last thing you do on the tuning totem pole. The equation you wrote is correct otherwise.
200 mm is not so much. Try to measure the longest path you can of each axis. It will be also easier to calculate the right step per mm value (but as said you should not change it unless you use different pulley on the motors)
Check that nothing is loose, especially the grub screws on the pulleys. Check that it goes back to zero (if it is off by 1mm, then the error is backlash and not a scale).
The belt has fiber inside that is very hard to stretch. Once you reach a reasonable tight, it takes a lot of tension to stretch it.
The rest of it, there are exactly 200 whole steps per rotation on the motors. There are exactly 16T on the pulleys and the drivers step exactly 16 microsteps per step. So the rest i is literally exact.
The belt can be off though. I just try to avoid encouraging calibration until you’ve eliminated any other problems.