Use PyOS_snprintf