func round(x: float; round: PyTime_round_t): float {....raises: [], tags: [],
    forbids: [].}

func round_half_even(x: float): float {....raises: [], tags: [], forbids: [].}