Wie rundet ein Python-Programmierer einen Float-Wert auf den nächsten int-Wert?