Add floating point noise ([diff](https://trac.torproject.org/projects/tor/wiki/org/meetings/2018Rome/Notes?action=diff&version=14)) URL: https://trac.torproject.org/projects/tor/wiki/org/meetings/2018Rome/Notes?version=14