Is 3/16" machine screw equivalent to a #10?

They do make a 10/32 tap. Maybe he was out of it or just doesn't know.