Arduino/esp8266/micropython/tests/basics/builtin_hex.py

# test builtin hex function

print(hex(1))
print(hex(-1))
print(hex(15))
print(hex(-15))

print(hex(12345))
print(hex(0x12345))