dot-decimal notation