Use doubles instead of BigDecimals for numeric obs values (#120)

Use doubles instead of BigDecimals for numeric obs values (see #120). Includes database update scripts.