Oolite Bulletins

I've just installed HDBG and Docking Fees.
Is it normal to have a docking fee like
7.899999999999999C ?
At every port I get *. to 15 places? docking fee.

The best thing to do might be to post it in the relevant thread...