Just enter the $$ amount (total) that he received. The pension system has figured out the exact $$ amount according to standard IRS guidelines long ago, and that is what they send.
When entering the $$ amount, just drop the cents part entirely (and don't round up)
____________*Answers are correct to the best of my knowledge when posted, but should not be considered to be legal or official tax advice.*