How to properly round-up half float numbers?
The Numeric Types section documents this behaviour explicitly: round(x[, n]) x rounded to n digits, rounding half to even. If n is omitted, it defaults to 0. Note the rounding half to even. This is also called bankers rounding; instead of always rounding up or down (compounding rounding errors), by rounding to the nearest even … Read more