to_hex_string

A single extension on int to convert it to a proper hex string, since the Dart team stubbornly refuses to add it.