Ball size to ball bearing lookup possible
Pedals usually have 1/8". Depending on how you measured the diameter, maybe that's what you found. I think you'd notice fairly significant play in the pedal for a ball to have fallen out though.