This may not seem like the ideal place, but is actually the only place in py/ where it gets referenced, so is just right.
This directory contains standard, low-level C libraries with emphasis on being independent and efficient. They can be used by any port.