I was worried that a voltage divider will induce some long timescales into the system. I suppose it's worth implementing and seeing if the delays it adds are too long for what I need, which needs to have at least 30 ms temporal precision, optimally much more precise than that.