Add test for float64 precision