I once worked at a place that used 100.0.0.0/8. At the time that range was not in use on the Internet. Not sure if that was intentional or a fat finger. That place was ran by idiots though, so it was probably the latter.