Thanks for the quick answer, but without going into details, it's quite a bit more than 4 dollars, and the same amount appears in box 14, with CPP and EI deducted (but no tax).
I'm not sure if getting in contact with Mil Pay directly will help, as I probably will not show up as current, and the...