I don't think dividing stuff in thirds is much of a problem. As you noted, players only have to do it once per level, and while the DM has a lot more calculations to perform, they also have the freedom to round out monster HP as needed, which I find to be a common practice already. And I don't...