The bar has always been a division sign — which is what finally makes a remainder something you can write down exactly.