8 bit RGB color

RGB8.to_int t returns the int value of t as an 8 bit integer.

RGB8.of_int i creates an RGB8.t from an int considered as an 8 bit integer. The first 24 bits are discarded.

RGB8.of_char c creates an RGB8.t from a char considered as an 8 bit integer.

RGB8.to_char t returns the char value of t considered as an 8 bit integer.