WifiNina's WL_PING_SUCCESS not defined

the series of result values from WiFi.ping(ip) don’t appear to be defined anywhere. Does anyone know the values?

The docs claim the function returns one of:

WL_PING_SUCCESS
WL_PING_DEST_UNREACHABLE
WL_PING_TIMEOUT
WL_PING_UNKNOWN_HOST
WL_PING_ERROR

They are defined here:

However, WL_PING_SUCCESS is not defined. It seems that is an error in the documentation.

WL_PING_SUCCESS is a value >= 0 which then equates to the round trip time in milliseconds.