module mod4 { prefix abc; namespace "urn:cesnet:mod4"; typedef my { type decimal64 { fraction-digits 0; // bad value fraction-digits } } }