There is no such thing as a “correct” way to round. There are many different ways to round, and to check if the rounding is being done correctly you’d have to specify what kind of rounding you’re asking about.
Rounding to the nearest tenth (a common default way to round) would round that number down. However, there are many mathematical and non-mathematical reasons why the computer might not be doing that.
Notably, your number can’t be represented in 32 bits and the closest 32 bit number is big enough to get rounded the other way. So even if it was trying to round to the nearest tenth, it might not achieve that.