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