Decimal place was added to points total some time ago. This basically fixes possible conflicts when using a points multiplier where the database was not supporting the decimal place and rounding up. So now the system completely supports a single decimal place.