docs: def split_thousands(s):
      """
      Splits a number on thousands.
  
      >>> split_thousands(1000012)
      "1'000'012"
      """
      # Check input #
      if s is None: return "0"
      # If it's a string #
      if isinstance(s, basestring): s = float(s)
      # If it's a float that should be an int #
      if isinstance(s, float) and s.is_integer(): s = int(s)
      # Use python built-in #
      result = "{:,}".format(s)
      # But we want single quotes #
      result = result.replace(',', "'")
      # Return #
      return result