Use 10 digits of precision instead of 7.