Idiom # 81: Round floating point number to integer

See programming-idioms.org:

Note that the programming idiom states that rounding should be performed with ties to positive infinity.

Code

Example