dinumerator