普通に疑問なのだが、移動量と絶対位置を別の型にする実装って見たことないんだがあるん？
仮に単位つけるにしてもどちらも「距離」になるだろうし
符号付と符号なしにでもするの？