@bzbarsky What do we do if this doesn't round properly?

Anyway, it'll be slightly faster to write a new method on `Au` that does `/ 2` instead of using `.scale_by(0.5)`, which has to convert to and from floats.