func nextafter(x, y: float; steps: int): float {....raises: [ValueError], tags: [],
    forbids: [].}

func nextafter(x, y: float; usteps: uint64): float {....raises: [], tags: [],
    forbids: [].}