Sorry for the delay in responding.
On 06/11/2015 22:03, Shafiul Azam wrote:
We submitted a pull request, and I believe it still needs to be reviewed. Yang, is this something you might be able to look at if you haven't already? Our pull request fixed some bugs with the way floats were handled, and also added the option of tracking floats via intervals.
It would be good to get this in and I can devote some time to helping with it in a couple of weeks.