I thought I wasn't the only person who thinks 12 1/2 cent chips have a place in low stakes poker games. Just curious how many casinos have used such odd chips like this before?

Anyone use 12 1/2 cent chips in their home poker games like I do? I use 12 1/2 cent, 25 cent, 50 cent and dollar chips. Eliminates the need to use 5 cent and 10 cent chips.