convert amongst many different IPv4 notations
