fix in Notation::value, add to unit tests