This `/1000` could look obscure to external observers... I'd add a comment explaining why we need to divide.