B blog.frama-c.com Harder than it looks: rounding a float to the nearest integer 74 points pascal_cuoq 13 years ago 46 comments
