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.
