In a few places where I have looked the Euclidean Function of a Euclidean Domain is only being defined for non-zero elements. I am teaching an undergraduate course and I am trying to make things simpleras simple as possible. Is there any good reason why not to define it as $0$ at $0$?