It would be great if the slider allowed options of pen size going up by 0.25's. Sometimes the right size isn't a full 0.5 larger. I really need a 4.75 haha.