Rounding float to nearest integer, part 3http://blog.frama-c.com/index.php?post/2013/05/04/nearbyintf3 by pascal_cuoq • 13 years ago 1 0 13 years agoBLblog.frama-c.com