Comment by TeMPOraL

Good catch. I doubt it's even a rounding error right now, but with the space market undergoing a rather rapid growth (good thing!), it's a good time to start tracking this and hopefully address before it turns into a problem.