Extend-the-end `+` vs. `.01`, `.02`

FYI this thread spawned a question that deserved its own thread.