double to decimal
Merge pull request #6 from ucdavis/jpk/new-properties

double to decimal