How to properly round-up half float numbers? How to properly round-up half float numbers? python-3.x python-3.x