None of these would be a problem if people would round instead of truncate by default.