decimal notation