I don't like how 0 is used as three different symbols in the beginning: the number, the point of infinity and the identity element. I know 0 is a common symbol for each of the three cases respectively but in the same context it feels rather confusing. Is that a common thing to do?