Do BDC round down ratings?

Does anyone know if BDC use the standard rounding up for ratings or if they round down?

We have 95 reviews and the average is 9.853, but our score is still showing 9.8 and not the 9.9 as you would expect it to round up and not down.

This may sound petty but we have been working so hard to get this rating to 9.9 and we were surprised and disappointed that it hasn't changed.