Today's bit of Unix "this looks weird but works":

$ ping -c 1 0xc0.0250.257
PING 0xc0.0250.257 (192.168.1.1): 56 data bytes
64 bytes from 192.168.1.1: icmp_seq=0 ttl=64 time=1.984 ms

--- 0xc0.0250.257 ping statistics ---
1 packets transmitted, 1 packets received, 0.0% packet loss
round-trip min/avg/max/stddev = 1.984/1.984/1.984/0.000 ms