is .875 five eights of an inch