Use float64 precision. Closes #2