Dints

Definition of Dints