This merges the useful information from two different places: - The original docstring for const. - Writing MicroPython code for constrained devices. Also reduce type to just int, because only ints are supported.