Fix floating point precision. Closes #7