Rounding float point number to nearest integer

http://blog.frama-c.com/index.php?post/2013/05/02/nearbyintf1