On 2014-09-29 18:14, Eric Eide wrote:
John Regehr <firstname.lastname@example.org> writes:Hi Yang, if you have time and energy, want to add doubles in addition tofloats? I doubt that this requires much work.Surely, it doubles the work? Har har har.
Well, we will see if it doubles or not :)John, Yes, I will add doubles. I am pretty busy this week, probably I can do that next week.