Some people don't know about the "new math(s)" ;) ... numbers greater than ending in 5 can be rounded up:
Per The Google:
How do you round off numbers ending in 5?
If the smallest place digit is greater than or equal to 5, then round up the digit. Since the digit in the smallest place is...