Let to_python() try harder for number conversions