Decimals

I am getting a numeric average of 3.75 for a particular post. How can I change that to 3.7? I want only one decimal.

https://ww.wp.xz.cn/plugins/comment-rating-stars/